From f4e0934728e40e324de0f4827964d24a4869b364 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Wed, 13 Mar 2019 15:28:23 +0100
Subject: [PATCH 1/1] don't kill the fools sourcing this script

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

diff --git a/BuildSimGrid.sh b/BuildSimGrid.sh
index 3e74ec2edf..526f3f09f4 100755
--- a/BuildSimGrid.sh
+++ b/BuildSimGrid.sh
@@ -27,4 +27,4 @@ fi
   echo "Target: ${target}"
   (nice make -j4 ${target} tests || make ${target} tests) && nice ctest -j4 --output-on-failure ; date
 ) 2>&1 | tee BuildSimGrid.sh.log
-exit 0
+
-- 
2.20.1