Skip to content
Snippets Groups Projects
Commit 519e8fd9 authored by David Georg Reichelt's avatar David Georg Reichelt
Browse files

Also set MOOBENCH_CONFIGURATIONS in python

parent 154ce617
No related branches found
No related tags found
No related merge requests found
......@@ -47,6 +47,13 @@ else
exit 1
fi
if [ -z "$MOOBENCH_CONFIGURATIONS" ]
then
MOOBENCH_CONFIGURATIONS="0 1 3 4"
echo "Setting default configuration $MOOBENCH_CONFIGURATIONS (without text logging)"
fi
echo "Running configurations: $MOOBENCH_CONFIGURATIONS"
#
# Setup
#
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment