fix for command-line vars that need to have 'override' to superseed
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 25 Oct 2011 11:20:35 +0000 (13:20 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 25 Oct 2011 11:20:35 +0000 (13:20 +0200)
commit742e3879db1aa4a59ab13f25e24321fd8b7dee39
tree4678ce8a450dbdff2f83091dc32d3c11fa07a5a6
parent817fc70315fbef56bfc7b0d68651d3a1d09d7486
fix for command-line vars that need to have 'override' to superseed
definitions that occur later in the Makefile
Makefile