Merge branch 'master' into dev

singnet · Oct 30, 2024 · 450fca9 · 450fca9
2 parents 03a9676 + 4cb54b8
commit 450fca9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/scripts/build b/scripts/build
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 # for debug:
-# set -ex
+#set -ex
 
 PARENT_PATH="$(dirname "$(cd "$("dirname" "$0")"; pwd -P)")"
 

diff --git a/scripts/build_all_platforms b/scripts/build_all_platforms
@@ -1,8 +1,12 @@
 #!/bin/bash
+#set -ex
+PARENT_PATH="$(dirname "$(cd "$("dirname" "$0")"; pwd -P)")"
+pushd "$PARENT_PATH"
+
 
 if [ $# -lt 1 ]
   then
-    echo "arguments expected are of the form <VERSION> for the build script , as an example: '/scripts/build-all v.5.1.1'"
+    echo "arguments expected are of the form <VERSION> for the build script , as an example: '/scripts/build-all v5.1.6'"
     exit 1
 fi