Travis CI: Test also with -std=c11 (in single-threaded mode only)

(Cherry-pick commits 47483e7, 2a1b2bb from 'master' branch.)

diff --git a/.travis.yml b/.travis.yml
index ef7a021a779687a276ff3cde3032b73c515a9403..c78042d1ca1e2927bf7653a844ca11ffd0f5c31d 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -60,6 +60,12 @@ matrix:
       env:
         - CFLAGS_EXTRA="-D SMALL_CONFIG -D NO_GETENV"
         - CONF_OPTIONS="--enable-cplusplus"
+    - os: linux
+      compiler: gcc
+      dist: trusty
+      env:
+        - CFLAGS_EXTRA="-std=c11 -D GC_NO_SIGSETJMP"
+        - CONF_OPTIONS="--disable-threads --enable-gc-assertions --enable-cplusplus"
     - os: linux
       compiler: gcc
       env: [ CONF_OPTIONS="--enable-gc-debug --enable-cplusplus" ]