From df00cd0094287d984d1ed14188e36cedcd5ccc7d Mon Sep 17 00:00:00 2001
From: Luca Bilke <luca@bil.ke>
Date: Wed, 17 Apr 2024 23:17:37 +0200
Subject: [PATCH] improve build script

---
 build.sh | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index f114dbb..79fedd3 100755
--- a/build.sh
+++ b/build.sh
@@ -4,8 +4,12 @@ cp -f config.mk Makefile patches.h st-flexipatch/
 flexipatch-finalizer/flexipatch-finalizer.sh -r -d st-flexipatch -o st-final
 git -C st-flexipatch reset --hard HEAD && git -C st-flexipatch clean -fd
 for patch in patches/*.diff; do
-	patch -d st-final <"$patch"
+    patch -d st-final <"$patch"
 done
 cp -f config.h st-final/
 cd st-final || exit 1
-make
+if [ "$1" = "-i" ]; then
+    sudo make install
+else
+    make
+fi