| commit | 1198757a245aa8f37136d8e9084051b42930b22a | [log] [tgz] |
|---|---|---|
| author | manarabdelaty <manarabdelatty@aucegypt.edu> | Thu Sep 02 20:10:54 2021 +0200 |
| committer | manarabdelaty <manarabdelatty@aucegypt.edu> | Thu Sep 02 20:10:54 2021 +0200 |
| tree | 6c945b3970743b2670421e71034533b79341d382 | |
| parent | cef13384e7a2b373e6ec35abe85a7894bef7611e [diff] |
[CI] Fix PDK_ROOT
diff --git a/.github/scripts/dv/run-dv-wrapper.sh b/.github/scripts/dv/run-dv-wrapper.sh index 6d2df4b..20bc951 100644 --- a/.github/scripts/dv/run-dv-wrapper.sh +++ b/.github/scripts/dv/run-dv-wrapper.sh
@@ -23,7 +23,6 @@ export TARGET_PATH=$(pwd) export CARAVEL_ROOT=$(pwd)/caravel -export PDK_ROOT=$(pwd)/pdks if [ ! -d $TARGET_PATH ] then @@ -33,6 +32,7 @@ cd .. +export PDK_ROOT=$(pwd)/pdks if [ ! -d $PDK_ROOT ] then echo "Directory /path/to/dir DOES NOT exists."