DEBUG

benchmarks/dvmp/gen.sh

@@ -12,6 +12,7 @@
 
 ## make sure we launch this script from the project root directory
 PROJECT_ROOT="$( cd "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )"/../..
+pushd ${PROJECT_ROOT}
 echo "DEBUGDEBUGDEBUG"
 ls config
 echo "DEBUGDEBUGDEBUG"