From 040cefcb480f6fde98a705f0b80f53615937257a Mon Sep 17 00:00:00 2001 From: Nick Lee Date: Tue, 8 May 2018 14:02:44 -0400 Subject: [PATCH] Add -Werror=vla compiler switch --- src/collects/seashell-config.rkt.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/collects/seashell-config.rkt.in b/src/collects/seashell-config.rkt.in index 95b04f29..8c8523c3 100644 --- a/src/collects/seashell-config.rkt.in +++ b/src/collects/seashell-config.rkt.in @@ -188,7 +188,7 @@ (cons 'listen-ip "::0") ;; Default compiler flags. (cons 'compiler-flags '(;; Warning flags. - "-Wall" "-Werror=int-conversion" "-Werror=int-to-pointer-cast" "-Werror=return-type" "-Werror=import-preprocessor-directive-pedantic" "-Werror=incompatible-pointer-types" + "-Wall" "-Werror=int-conversion" "-Werror=int-to-pointer-cast" "-Werror=return-type" "-Werror=import-preprocessor-directive-pedantic" "-Werror=incompatible-pointer-types" "-Werror=vla" ;; Debugging Compilation flags. "-dwarf-column-info" "-debug-info-kind=limited" "-dwarf-version=4" "-debugger-tuning=gdb" ;; General compilation flags.