From 11002758f6f4df0f8f13b56b08e149dd0dcc5aff Mon Sep 17 00:00:00 2001
From: augustin64 <augustin.lucas64@gmail.com>
Date: Sat, 14 May 2022 15:56:13 +0200
Subject: [PATCH] Exit on compilation error

---
 make.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/make.sh b/make.sh
index 7818862..fd5c536 100755
--- a/make.sh
+++ b/make.sh
@@ -3,6 +3,8 @@
 FLAGS="-std=c99 -lm -lpthread"
 OUT="out"
 
+set -eu
+
 if [[ $1 == "build" ]]; then
 	mkdir -p "$OUT"
 	[[ $2 ]] || set "$1" "main"