merges lost changes for new svn setup and usage -- handles distro=planetlab gracefully
authorbuild <build@41d37cc5-eb28-0410-a9bf-d37491348ade>
Tue, 13 Feb 2007 21:17:07 +0000 (21:17 +0000)
committerbuild <build@41d37cc5-eb28-0410-a9bf-d37491348ade>
Tue, 13 Feb 2007 21:17:07 +0000 (21:17 +0000)
commit075d9f055ba9cbb9b6c223cb209ba83048bc9c1a
tree73df113b7dfa785eca533811284f52d0efdfe23b
parentcaa213697e21341e97d2dc5c2c21c4ad2aa20e32
merges lost changes for new svn setup and usage -- handles distro=planetlab gracefully
scripts/nightly-build.sh