adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

arm-hyp tests: fixing run_tests to work with testboard

This commit is contained in:
Alejandro Gomez-Londono 2017-03-22 15:02:09 +11:00 committed by Alejandro Gomez-Londono
parent 9103207d8a
commit 1efbaf8e31
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
run_tests
View File

@ -30,4 +30,11 @@ export REFINE_QUICK_AND_DIRTY=1
cd ${DIR}
default="ASpec ExecSpec ASpec_ARM ExecSpec_ARM AInvs HaskellKernel BaseRefine Refine"
python ./misc/regression/run_tests.py ${@:-${default}} $([ -z ${bamboo_planKey} ] || echo $default)
if [ "${bamboo_l4v_regression_identifier}" == "test board" ]
then
bamboo_args=$(echo "$@" | ( [ -z "${bamboo_l4v_regression_options}" ] && cat - || sed 's/'"${bamboo_l4v_regression_options}"'//'))
echo "python ./misc/regression/run_tests.py ${bamboo_args} $default"
python ./misc/regression/run_tests.py ${bamboo_args} $default
else
python ./misc/regression/run_tests.py ${@:-${default}} $([ -z ${bamboo_planKey} ] || echo $default)
fi