diff options
Diffstat (limited to 'compile.bat')
| -rw-r--r-- | compile.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compile.bat b/compile.bat index a756576..0c3bead 100644 --- a/compile.bat +++ b/compile.bat @@ -26,7 +26,7 @@ set dbg=0 :: XXX: -Og would be nice but apparently a bunch of stuff still gets inlined
:: which can be somewhat annoying so -O0 it is.
if "%dbg%"=="1" (
- set cflags=-O0 -g3
+ set cflags=-O0 -g3 -fsanitize-trap=undefined
set ldflags=-O0 -g3
) else (
set cflags=-O2
|