Skip to content
Snippets Groups Projects

Update dis

Merged Update dis
update_dis_dvcs into master
Merged Sylvester Joosten requested to merge update_dis_dvcs into master
Viewing commit 6c435ade
Show latest version
1 file
+ 2
− 0
Compare changes
  • Side-by-side
  • Inline
benchmarks/dvmp/gen.sh
+ 2
− 0
@@ -13,6 +13,8 @@
@@ -13,6 +13,8 @@
## make sure we launch this script from the project root directory
## make sure we launch this script from the project root directory
PROJECT_ROOT="$( cd "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )"/../..
PROJECT_ROOT="$( cd "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )"/../..
pushd ${PROJECT_ROOT}
pushd ${PROJECT_ROOT}
 
echo ${PROJECT_ROOT}
 
ls .
## =============================================================================
## =============================================================================
## Step 1: Setup the environment variables
## Step 1: Setup the environment variables