Turning off (in ad-hoc manner) the debug output for ARM SAM boards.

stepcut · Nov 3, 2020 · 71b0ea4 · 71b0ea4
1 parent ba724cd
commit 71b0ea4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/aux-makefiles/Idris2.mk b/aux-makefiles/Idris2.mk
@@ -18,6 +18,10 @@ OTHER_OBJS += $(RTS_OBJS)
 
 include $(ARDUINO_MAKEFILE_PATH)
 
+ifdef BOSSA_OPTS
+  BOSSA_OPTS != sed "s/-d //" <<< "$(BOSSA_OPTS)"
+endif
+
 build/exec/%.c: %.idr
 	rm -f "$@"
 	CC=true idris2 --codegen refc "$<" <<< ":compile $(basename $(notdir "$@")) main"