X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/121e1dc6ee0462b6f6f1f1570b0f48c61ee4ff9a..06d0a5a93535c854e4ff4d03e8f327ddd27ff803:/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