Fix cmd/checkall.sh (#201)

Signed-off-by: Marek Maškarinec <[email protected]>
tophat2d · Jan 1, 2025 · f9f524e · f9f524e
1 parent 198c8b1
commit f9f524e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/cmd/checkall.sh b/cmd/checkall.sh
@@ -1,4 +1,6 @@
-#!/bin/sh -e
+#!/bin/sh
+
+set -e
 
 # check main.um
 ./tophat -check