Commit a321decb authored by Guillaume Melquiond's avatar Guillaume Melquiond

Avoid spurious bench errors on empty directories.

parent a846273d
......@@ -7,6 +7,8 @@
# export WHY3DATA=.
# export WHY3LOADPATH=theories
shopt -s nullglob
# TODO: remove the hack about int.mlw once it has become builtin
......@@ -32,7 +34,7 @@ goods () {
echo "ok"
rm bench_error
rm -f bench_error
if test -n "$ERROR"; then
echo "bench aborted due to the following errors:"
cat bench_errors
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