diff --git a/benchmarks/dvmp/dvmp.sh b/benchmarks/dvmp/dvmp.sh index 11d2194037b283aed9e064a59b00405e9e57e6e9..1746a8600c1a3e20a8968b43db51884d2311e2fc 100755 --- a/benchmarks/dvmp/dvmp.sh +++ b/benchmarks/dvmp/dvmp.sh @@ -126,11 +126,11 @@ EOF #cat ${CONFIG} ## run the analysis script with this configuration -#root -b -q "benchmarks/dvmp/analysis/vm_mass.cxx+(\"${CONFIG}\")" -#if [ "$?" -ne "0" ] ; then -# echo "ERROR running vm_mass script" -# exit 1 -#fi +root -b -q "benchmarks/dvmp/analysis/vm_mass.cxx+(\"${CONFIG}\")" +if [ "$?" -ne "0" ] ; then + echo "ERROR running vm_mass script" + exit 1 +fi root -b -q "benchmarks/dvmp/analysis/vm_invar.cxx+(\"${CONFIG}\")" if [ "$?" -ne "0" ] ; then echo "ERROR running vm_invar script"