undo previous change - use command line option instead
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sun, 26 Sep 2010 12:21:54 +0000 (14:21 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sun, 26 Sep 2010 12:21:54 +0000 (14:21 +0200)
vbuild-nightly.sh

index 085607d..5ee38d9 100755 (executable)
@@ -17,7 +17,7 @@ DEFAULT_GPGPATH="/etc/planetlab"
 # default email to use in gpg secring
 DEFAULT_GPGUID="root@$( /bin/hostname )"
 
-DEFAULT_TESTCONFIG="dual"
+DEFAULT_TESTCONFIG="default"
 
 # for publishing results, and the tests settings
 x=$(hostname)