tools/ci.sh: Don't use make -j.

dpgeorge · dpgeorge · commit b7bce32e3789 · 2024-03-15T17:21:58.000+11:00
Signed-off-by: Damien George &lt;damien@micropython.org&gt;
diff --git a/tools/ci.sh b/tools/ci.sh
@@ -369,7 +369,7 @@ function ci_stm32_nucleo_build {
 function ci_stm32_misc_build {
     make ${MAKEOPTS} -C mpy-cross
     make ${MAKEOPTS} -C ports/stm32 BOARD=ARDUINO_GIGA submodules
-    make ${MAKEOPTS} -C ports/stm32 BOARD=ARDUINO_GIGA
+    make -C ports/stm32 BOARD=ARDUINO_GIGA
 }
 
 ########################################################################################

Original file line number	Diff line number	Diff line change
`@@ -369,7 +369,7 @@ function ci_stm32_nucleo_build {`
`369`	`369`	`function ci_stm32_misc_build {`
`370`	`370`	`make ${MAKEOPTS} -C mpy-cross`
`371`	`371`	`make ${MAKEOPTS} -C ports/stm32 BOARD=ARDUINO_GIGA submodules`
`372`		`- make ${MAKEOPTS} -C ports/stm32 BOARD=ARDUINO_GIGA`
	`372`	`+ make -C ports/stm32 BOARD=ARDUINO_GIGA`
`373`	`373`	`}`
`374`	`374`
`375`	`375`	`########################################################################################`