diff options
| author | Wiimm <wiimm@wiimm.de> | 2022-10-27 12:06:47 +0200 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2022-10-27 12:06:47 +0200 |
| commit | 6d27524f61a141dfa7c1c66b36bcb1f6b5728f3d (patch) | |
| tree | da113ccbfd746abea569d564999bc0038f59fe9f /project/setup.sh | |
| parent | 159e76837a2582682d81943b3fa963d72141337f (diff) | |
SZS v2.29a
Diffstat (limited to '')
| -rw-r--r-- | project/setup.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/project/setup.sh b/project/setup.sh index 92525a5..f38a518 100644 --- a/project/setup.sh +++ b/project/setup.sh @@ -1,4 +1,8 @@ #!/usr/bin/env bash +# argtest "$@" >&2 + +#------------------------------------------------------------------------------ +# get revision revision=0 [[ $STATIC = 1 ]] || STATIC=0 @@ -57,7 +61,7 @@ GCC_VERSION="$( gcc --version | head -n1 | sed 's/([^)]*)//'|awk '{print $2}' )" [[ $GCC_VERSION > 7 ]] && xflags+=" -fdiagnostics-color=always" gcc $xflags -E -DPRINT_SYSTEM_SETTINGS system.c \ - | awk -F= '/^result_/ {printf("%s := %s\n",substr($1,8),gensub(/"/,"","g",$2))}' \ + | awk -F= '/^result_/ { gsub(/"/,"",$2); printf("%s := %s\n",substr($1,8),$2) }' \ > Makefile.setup #-------------------------------------------------- |