diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -10,7 +10,8 @@ OBJ != find -type f -name '*.c' | sed 's/\.c$$/.o/' DEBUG = 0 GDB != which gf2 2> /dev/null || which gdb -CFLAGS_1 = -g3 -fsanitize=undefined +CFLAGS_0 = -DNDEBUG +CFLAGS_1 = -g3 -fsanitize=undefined LDFLAGS_1 = -g3 -fsanitize=undefined LDFLAGS_0 = -Os -s |
