1 files changed, 11 insertions, 0 deletions
diff --git a/development/gcc5/c99.sh b/development/gcc5/c99.sh
new file mode 100644
index 00000000000..c33636937c2
--- /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+"$@"}