diff --git a/benchmarks/dvmp/dvmp.sh b/benchmarks/dvmp/dvmp.sh index 1746a8600c1a3e20a8968b43db51884d2311e2fc..abeac1016f970bd4cfdffe2dae7ff53917079823 100755 --- a/benchmarks/dvmp/dvmp.sh +++ b/benchmarks/dvmp/dvmp.sh @@ -131,11 +131,11 @@ 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" - exit 1 -fi +#root -b -q "benchmarks/dvmp/analysis/vm_invar.cxx+(\"${CONFIG}\")" +#if [ "$?" -ne "0" ] ; then +# echo "ERROR running vm_invar script" +# exit 1 +#fi ## ============================================================================= ## Step 5: finalize