Merge branch 'pull12247' into 'master'

feat(tools): keep export.sh compatible with BourneShell Closes IDFGH-11073 See merge request espressif/esp-idf!26303
2opremio · Oct 5, 2023 · 0c2decc · 0c2decc
2 parents b608726 + addbc79
commit 0c2decc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/export.sh b/export.sh
@@ -19,7 +19,7 @@ __verbose() {
 
 __script_dir(){
     # shellcheck disable=SC2169,SC2169,SC2039,SC3010,SC3028  # unreachable with 'dash'
-    if [[ "$OSTYPE" == "darwin"* ]]; then
+    if [ "$(uname -s)" = "Darwin" ]; then
         # convert possibly relative path to absolute
         script_dir="$(__realpath "${self_path}")"
         # resolve any ../ references to make the path shorter