ci: Replace c89 job with c99.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d1f7e9ffa035d6d3ce1e34a3ad1d45ca1ebf708e..bcecc096ed8a0613a96448e9ce71f8f81aaf8b67 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -55,11 +55,11 @@ native/mini-gmp:
   variables:
     EXTRA_CONFIGURE_ARGS: '--enable-mini-gmp'
 
-native/c89:
+native/c99:
   extends: .native-build
   variables:
     EXTRA_CONFIGURE_ARGS: '--disable-assembler'
-    CC: '$CI_PROJECT_DIR/misc/c89'
+    CC: '$CI_PROJECT_DIR/misc/c99'
 
 native/extra-asserts:
   extends: .native-build

diff --git a/misc/c99 b/misc/c99
new file mode 100755 (executable)
index 0000000..f89d715
--- /dev/null
+++ b/misc/c99
@@ -0,0 +1,16 @@
+#! /bin/sh
+
+# GCC wrapper that passes -std=c99, and rejects all other -std flags
+
+for a in "$@" ; do
+       case "$a" in
+           -std=*)
+               echo "c99 wrapper: option $a rejected" >&2
+               exit 1
+               ;;
+           *)
+               ;;
+       esac
+done
+
+gcc -std=c99 "$@"