oops - bad handling of make options
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Thu, 15 Mar 2007 09:50:22 +0000 (09:50 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Thu, 15 Mar 2007 09:50:22 +0000 (09:50 +0000)
commitb1a0694be5cfec580262b8ad746064c6a45c52db
treeceb21baf14a70880ac1a112de406ae855859a2f2
parent13e85f1dc102ff34e20428a4f9e194fde372613b
oops - bad handling of make options
scripts/nightly-build.sh