cosmetic
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 18 May 2009 09:13:26 +0000 (09:13 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 18 May 2009 09:13:26 +0000 (09:13 +0000)
system/helpers.aliases

index 4743d11..84e8fc2 100644 (file)
@@ -5,13 +5,11 @@ local_defs=~/LocalTestResources.helpers
 if [ -f $local_defs ] ; then 
     source $local_defs
 else
-    echo "you should define qemuboxes and plcboxes in $local_defs"
-    exit
+    echo "WARNING !! you should define qemuboxes and plcboxes in $local_defs"
 fi
 
 if [ -z "$qemuboxes" -o -z "$plcboxes" ] ; then
-    echo "you should define qemuboxes and plcboxes in $local_defs"
-    exit
+    echo "WARNING !! you should define qemuboxes and plcboxes in $local_defs"
 fi
 
 ########## list: from trackers, what should be