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