Fix config.sh (actually, Makefile.base)
authorNiki Roo <niki@nikiroo.be>
Fri, 30 Jun 2017 16:53:57 +0000 (18:53 +0200)
committerNiki Roo <niki@nikiroo.be>
Fri, 30 Jun 2017 16:53:57 +0000 (18:53 +0200)
commitac50854f1a932682294090f3c08188bea9d80329
treed40bf052758747d358303f8f82eb0d7843d5a7aa
parent8c8da42a501ff223ee1340ab71d03df481649e78
Fix config.sh (actually, Makefile.base)
Makefile.base