X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/19b3962253112b19308537bc2400de141c119d99..dadb0fce9eec339e90886793346c123625f1deb4:/BuildSimGrid.sh diff --git a/BuildSimGrid.sh b/BuildSimGrid.sh index 5f3ce84c1f..7d5a00f474 100755 --- a/BuildSimGrid.sh +++ b/BuildSimGrid.sh @@ -1,9 +1,15 @@ -#! /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. + +if [ ! -e Makefile ] ; then + echo "Please configure SimGrid before building it:" + echo " ccmake ." + exit 1 +fi ( (nice make -j4 || make) && nice ctest -j4 --output-on-failure ; date