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 <