echo "XXXX Cleanup previous attempts. Remaining content of /tmp:"
rm -rf /tmp/simgrid-java*
+rm -rf /var/tmp/simgrid-java*
rm -rf /tmp/jvm-*
find /builds/workspace/SimGrid/ -name "hs_err_pid*.log" | xargs rm -f
ls /tmp
# usage: die status message...
die () {
- local status=${1:-1}
+ status=${1:-1}
shift
[ $# -gt 0 ] || set -- "Error - Halting"
echo "$@" >&2
os=Debian
ver=$(cat /etc/debian_version)
elif [ -f /etc/redhat-release ]; then
- os=""
- ver=$(cat /etc/redhat-release)
+ read -r os ver < /etc/redhat-release
elif [ -f /usr/bin/sw_vers ]; then
os=$(sw_vers -productName)
ver=$(sw_vers -productVersion)
elif [ -f /bin/freebsd-version ]; then
os=$(uname -s)
ver=$(freebsd-version -u)
+elif [ -f /etc/version ]; then
+ read -r os ver < /etc/release
elif [ -f /etc/os-release ]; then
# freedesktop.org and systemd, put last as usually missing useful info
. /etc/os-release
echo "XX"
cmake -G"$GENERATOR" -Denable_documentation=OFF $WORKSPACE
-make dist -j$NUMBER_OF_PROCESSORS
+make dist -j $NUMBER_OF_PROCESSORS
SIMGRID_VERSION=$(cat VERSION)
echo "XX"
MAY_DISABLE_SOURCE_CHANGE="-DCMAKE_DISABLE_SOURCE_CHANGES=ON"
fi
-if [ "$os" = "NixOS" -a "$(gcc -dumpversion)" = "7.4.0" -a "$(ld -v | cut -d\ -f5)" = "2.30" ]; then
+if [ "$os" = "NixOS" -a "$(gcc -dumpversion)" = "7.4.0" ]; then
echo "Temporary disable LTO, believed to be broken on this system."
MAY_DISABLE_LTO=-Denable_lto=OFF
else
# -Denable_lua=$(onoff test "$build_mode" != "DynamicAnalysis") \
set +x
-make -j$NUMBER_OF_PROCESSORS VERBOSE=1 tests
+make -j $NUMBER_OF_PROCESSORS VERBOSE=1 tests
echo "XX"
echo "XX Run the tests"