diff options
author | Matteo Bernardini | 2020-08-18 20:11:13 +0200 |
---|---|---|
committer | Matteo Bernardini | 2020-08-18 20:11:13 +0200 |
commit | 4c181899d4e4c41770825ac2c4812b01ac807468 (patch) | |
tree | 8d7863eb97c787e2ea1198ec5f20d911aafff14d /development/gcc5/c99.sh | |
parent | 039623ea867a44e41cbf62cada3efca35cd703b8 (diff) | |
download | slackbuilds-current-20200818.1.tar.gz |
20200818.1 global branch merge.current-20200818.1
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/gcc5/c99.sh')
-rw-r--r-- | development/gcc5/c99.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/development/gcc5/c99.sh b/development/gcc5/c99.sh new file mode 100644 index 0000000000..c33636937c --- /dev/null +++ b/development/gcc5/c99.sh @@ -0,0 +1,11 @@ +#!/bin/sh +fl="-std=c99" +CC=${CC:-"gcc"} +for opt; do + case "$opt" in + -std=c99|-std=iso9899:1999) fl="";; + -std=*) echo "`basename $0` called with non ISO C99 option $opt" >&2 + exit 1;; + esac +done +exec $CC $fl ${1+"$@"} |