X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0069f945e537344fabf089c5a392889a5c1bc30c..f4225257bc8e26afe7338c3785cb284aa83a0cec:/BuildSimGrid.sh?ds=sidebyside 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