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