]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - Makefile.in
New configure option: --enable-ubsan.
[paraslash.git] / Makefile.in
index 556a926c235fac68714c877c7fd9bc6f9838d927..11fa2001d1e6678cdc8968d58d6729d7ce0955b4 100644 (file)
@@ -8,6 +8,8 @@ datarootdir := @datarootdir@
 PACKAGE_TARNAME := @PACKAGE_TARNAME@
 PACKAGE_VERSION := @PACKAGE_VERSION@
 
+FLEX := @FLEX@
+BISON := @BISON@
 M4 := @M4@
 LOPSUBGEN := @LOPSUBGEN@
 
@@ -65,4 +67,6 @@ curses_ldflags := @curses_ldflags@
 crypto_ldflags := @crypto_ldflags@
 iconv_ldflags := @iconv_ldflags@
 
+ENABLE_UBSAN := @ENABLE_UBSAN@
+
 include Makefile.real