From 38f1f92582b490b306a420d83d9de9ea43e95eb6 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Sun, 26 Sep 2010 14:21:54 +0200
Subject: [PATCH] undo previous change -  use command line option instead

---
 vbuild-nightly.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vbuild-nightly.sh b/vbuild-nightly.sh
index 085607d8..5ee38d9a 100755
--- a/vbuild-nightly.sh
+++ b/vbuild-nightly.sh
@@ -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)
-- 
2.47.0