diff options
| author | Wiimm <wiimm@wiimm.de> | 2021-04-24 09:10:02 +0200 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2021-04-24 09:10:02 +0200 |
| commit | f33ad95520f6c6bb8f192c8bcd1c17cf40ba6b6b (patch) | |
| tree | 60c229f3f17eb965fda2bfa19021559123af65b4 /project/setup.sh | |
| parent | 4f14fc871ab525488d821e132f80da99841d5646 (diff) | |
SZS v2.25a
Diffstat (limited to 'project/setup.sh')
| -rw-r--r-- | project/setup.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/project/setup.sh b/project/setup.sh index a5dc451..edbc893 100644 --- a/project/setup.sh +++ b/project/setup.sh @@ -56,7 +56,6 @@ gcc $xflags -E -DPRINT_SYSTEM_SETTINGS system.c \ | awk -F= '/^result_/ {printf("%s := %s\n",substr($1,8),gensub(/"/,"","g",$2))}' \ > Makefile.setup -#rm -f system.tmp SYSTEM=$(awk '$1=="SYSTEM" {print $3}' Makefile.setup) #echo "SYSTEM=|$SYSTEM|" >&2 |