X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d834b9f9c265730775cad0c62084b80dfa0b44a0..0afa6f83db585564c38145f745a2e52bd5cb3740:/BuildSimGrid.sh diff --git a/BuildSimGrid.sh b/BuildSimGrid.sh index 5f3ce84c1f..b0a2f39686 100755 --- a/BuildSimGrid.sh +++ b/BuildSimGrid.sh @@ -1,9 +1,9 @@ -#! /bin/sh +#!/usr/bin/env 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. +# Copyright (c) 2017-2018 The SimGrid Team. Licence: LGPL of WDFPL, as you want. ( (nice make -j4 || make) && nice ctest -j4 --output-on-failure ; date