From 281c776ae238cd073ebd6dc357be3868628fe8d1 Mon Sep 17 00:00:00 2001 From: augustin64 Date: Sat, 14 May 2022 16:40:54 +0200 Subject: [PATCH] Update make.sh --- make.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make.sh b/make.sh index fd5c536..a41815a 100755 --- a/make.sh +++ b/make.sh @@ -3,7 +3,7 @@ FLAGS="-std=c99 -lm -lpthread" OUT="out" -set -eu +set -e if [[ $1 == "build" ]]; then mkdir -p "$OUT"