Fix filename typo in Dockerfile

2023-12-20 12:20:02 +01:00
parent 849aea4e5a
commit 40bbc817a8
2 changed files with 2 additions and 2 deletions
--- a/compile.sh
+++ b/compile.sh
@@ -1,6 +1,6 @@
 #!/bin/sh

-set -euo pipefail
+set -e

 files="$1"
 compiler="$2"