diff options
author | Dimitri John Ledkov <xnox@ubuntu.com> | 2016-09-22 14:47:57 +0100 |
---|---|---|
committer | Dimitri John Ledkov <xnox@ubuntu.com> | 2016-09-22 14:47:57 +0100 |
commit | c92ba05933a640c0084321bc6eeaa091c283b8bb (patch) | |
tree | 72cdcdec5d50586a244ba8743356d3fd2ecb1b4c /Makefile.in | |
parent | 249a3592d5dfdec0e52b5e9e712339364ea758ed (diff) |
New upstream release.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index fd68b3ee..214b0428 100644 --- a/Makefile.in +++ b/Makefile.in @@ -18,6 +18,7 @@ # abort - call abort() on first error (dumps core) # all - shortcut for all of the above # asan - enable address sanitizer compiler feature +# ubsan - undefined behaviour sanitizer compiler feature # W=123 build with warnings (default: off) # DEBUG_CFLAGS additional compiler flags for debugging build # EXTRA_CFLAGS additional compiler flags @@ -150,6 +151,10 @@ ifneq (,$(findstring asan,$(D))) DEBUG_CFLAGS_INTERNAL += -fsanitize=address endif +ifneq (,$(findstring ubsan,$(D))) + DEBUG_CFLAGS_INTERNAL += -fsanitize=undefined +endif + MAKEOPTS = --no-print-directory Q=$(Q) # build all by default |