A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove remaining mentions of RngStream.
[simgrid.git]
/
tools
/
jenkins
/
build.sh
diff --git
a/tools/jenkins/build.sh
b/tools/jenkins/build.sh
index
0e66fd6
..
65d8628
100755
(executable)
--- a/
tools/jenkins/build.sh
+++ b/
tools/jenkins/build.sh
@@
-12,6
+12,7
@@
export LC_ALL=C
echo "XXXX Cleanup previous attempts. Remaining content of /tmp:"
rm -rf /tmp/simgrid-java*
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
rm -rf /tmp/jvm-*
find /builds/workspace/SimGrid/ -name "hs_err_pid*.log" | xargs rm -f
ls /tmp
@@
-72,8
+73,7
@@
elif [ -f /etc/debian_version ]; then
os=Debian
ver=$(cat /etc/debian_version)
elif [ -f /etc/redhat-release ]; then
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 /usr/bin/sw_vers ]; then
os=$(sw_vers -productName)
ver=$(sw_vers -productVersion)