From 2683bf27c22f7deed841f60493952049ed32970c Mon Sep 17 00:00:00 2001
From: Martin Scheidt <m.scheidt@tu-bs.de>
Date: Tue, 29 Mar 2022 14:33:03 +0200
Subject: [PATCH] fixed bad substitution in shell script

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index d932f46..07e174d 100755
--- a/build.sh
+++ b/build.sh
@@ -108,7 +108,7 @@ process_arguments() {
       -r|--release)
         RELEASE=1
         shift
-        if [ -z "$1" ] || [ "${1:0:1}" = "-" ]; then
+        if [ -z "$1" ] || [ "`echo $1 | cut -c1-1`" = "-" ]; then
           print_usage
           exit 1
         fi