From 29141caa37771182ce9282e5df74643a264f8075 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 20 Mar 2012 11:40:09 +0100
Subject: [PATCH] oops

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

diff --git a/vbuild-nightly.sh b/vbuild-nightly.sh
index 27657675..d1477473 100755
--- a/vbuild-nightly.sh
+++ b/vbuild-nightly.sh
@@ -474,7 +474,7 @@ function main () {
 	    # -e foo -> run_log -e foo
 	    -e) RUN_LOG_EXTRAS="$RUN_LOG_EXTRAS --exclude $2"; shift 2 ;;
 	    # -X -> run_log -X
-	    -X) RUN_LOG_EXTRAS="$RUN_LOG_EXTRAS --lxc"; shift;
+	    -X) RUN_LOG_EXTRAS="$RUN_LOG_EXTRAS --lxc"; shift;;
 	    # more general form to pass args to run_log
 	    # -x foo -> run_log foo
 	    -x) RUN_LOG_EXTRAS="$RUN_LOG_EXTRAS $2"; shift 2;;
-- 
2.47.0