Merge branch 'leo/VC07-013-test_fix' into 'master'

TGen: Fix marshalling test on windows See merge request eng/ide/libadalang-tools!15
AdaCore · Jan 3, 2023 · 44fe445 · 44fe445
2 parents 12db4e6 + 0c382dc
commit 44fe445
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/testsuite/tests/test/marshalling_nested/test.sh b/testsuite/tests/test/marshalling_nested/test.sh
@@ -3,7 +3,7 @@
 LALTOOLS_ROOT=$(dirname $(which gnattest))/..
 TEMPLATES_PATH=$LALTOOLS_ROOT/share/tgen/templates
 RTS_PATH=$LALTOOLS_ROOT/share/tgen/tgen_rts
-if [[ "$OS" == "Windows_NT" ]]; then
+if [ "$OS" == "Windows_NT" ]; then
     export GPR_PROJECT_PATH=$RTS_PATH";"$GPR_PROJECT_PATH
 else
     export GPR_PROJECT_PATH=$RTS_PATH:$GPR_PROJECT_PATH

diff --git a/testsuite/tests/test/tagada_marshalling/test.sh b/testsuite/tests/test/tagada_marshalling/test.sh
@@ -3,7 +3,7 @@
 LALTOOLS_ROOT=$(dirname $(which gnattest))/..
 TEMPLATES_PATH=$LALTOOLS_ROOT/share/tgen/templates
 RTS_PATH=$LALTOOLS_ROOT/share/tgen/tgen_rts
-if [[ "$OS" == "Windows_NT" ]]; then
+if [ "$OS" == "Windows_NT" ]; then
     export GPR_PROJECT_PATH=$RTS_PATH";"$GPR_PROJECT_PATH
 else
     export GPR_PROJECT_PATH=$RTS_PATH:$GPR_PROJECT_PATH