Commit 00167bde authored by Gaspard FEREY's avatar Gaspard FEREY

Update bench.sh

parent c95e9c19
......@@ -8,6 +8,9 @@
## $5: timeout specification
## $6: hash label
# TODO: Replace this with a working cleaning procedure
rm -rf /tmp/*
dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )/../" && pwd )"
source $dir/scripts/paths.sh
. $dir/scripts/functions.sh
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment