From 5890e3599ff98a9874828ae7cd8bb2448a9bbc77 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=EBl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Mon, 23 Jul 2012 17:36:04 +0200
Subject: [PATCH] Light change in test script

---
 test/scripts/test_option | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/scripts/test_option b/test/scripts/test_option
index ba9a68b..caee40e 100755
--- a/test/scripts/test_option
+++ b/test/scripts/test_option
@@ -67,7 +67,7 @@ function compile () {
 	    if [[ $run == 1 ]]; then
 	        echo $LD *.o -o main
 	        if $LD *.o -o main; then
-		    echo ./main $NBSTEP | tee ../${outputfilename}
+		    echo "./main $NBSTEP | tee ../${outputfilename}"
 		    if ./main $NBSTEP | tee ../${outputfilename}; then
 		        echo "Run (${comment}) successful."
 		        res=0