Evan Gates de28c8bfa7 use only one getconf header ...

this simplifies the getconf.sh script and handling parallel make

2016-10-05 18:48:10 +02:00

6.5 KiB

Raw Blame History

View Raw