Matthias Schiffer 58ced87261 Use nicer platform match 10 vuotta sitten
..
files 58ced87261 Use nicer platform match 10 vuotta sitten
Makefile f73d727ae6 Remove all remaining uses of sysconfig.sh 10 vuotta sitten