From d834b9f9c265730775cad0c62084b80dfa0b44a0 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 28 Apr 2017 10:09:29 +0200 Subject: [PATCH] commit the script I use to compile simgrid --- BuildSimGrid.sh | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100755 BuildSimGrid.sh 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 -- 2.20.1