Use bash.

toitlang · Jul 19, 2023 · b6eefff · b6eefff
1 parent 457aac2
commit b6eefff
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tools/main.toit b/tools/main.toit
@@ -200,6 +200,9 @@ create_makefile_ dir/string --toit_root/string --build_path/string --chip/string
   // This doesn't work if the paths '"' characters.
   // Should be pretty rare.
   file.write_content --path="$dir/Makefile" """
+    SHELL := bash
+    .SHELLFLAGS := -eu -o pipefail -c
+
     IDF_PATH := $idf_path
     IDF_PY := \$(IDF_PATH)/tools/idf.py
     TOIT_ROOT := $absolute_toit_root