Skip to content
Snippets Groups Projects
Commit 6c435ade authored by Sylvester Joosten's avatar Sylvester Joosten
Browse files

debug

parent 2171db22
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
benchmarks/dvmp/gen.sh
+ 2
− 0
View file @ 6c435ade
...@@ -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
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment