From 7882666e0a46beec513145525829727996858b3a Mon Sep 17 00:00:00 2001 From: Bert van der Weerd Date: Mon, 22 Mar 2021 21:15:57 +0100 Subject: [PATCH] changes --- build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/build.sh b/build.sh index 7f41a31..994d1a8 100755 --- a/build.sh +++ b/build.sh @@ -353,6 +353,7 @@ if (( done_something == 0 )); then cat <