From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 28 Apr 2017 08:09:29 +0000 (+0200)
Subject: commit the script I use to compile simgrid
X-Git-Tag: v3.16~306
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d834b9f9c265730775cad0c62084b80dfa0b44a0?ds=inline

commit the script I use to compile simgrid
---

diff --git a/BuildSimGrid.sh b/BuildSimGrid.sh
new file mode 100755
index 0000000000..5f3ce84c1f
--- /dev/null
+++ b/BuildSimGrid.sh
@@ -0,0 +1,11 @@
+#! /bin/sh
+#
+# This little script rebuilds and runs the SimGrid archive in parallel, extracting a log
+# This is almost an internal script, but others may find this useful
+#
+# Copyright (C) 2017 The SimGrid Team. Licence: LGPL of WDFPL, as you want.
+
+(
+  (nice make -j4 || make) && nice ctest -j4 --output-on-failure ; date
+) 2>&1 | tee BuildSimGrid.sh.log
+exit 0