tests: don't run tets/012/stack.tl if built with ubsan.

* configure (have_ubsan): New variable. This is set to y
in the ubsan test, if detected.
(gen_config_make): Add have_ubsan variable to config.make.

* Makefile (TESTS_OK): If have_ubsan is true, filter out
the ../012/stack.ok target that calls for that test case.

1 files changed, 4 insertions, 0 deletions

diff --git a/configure b/configure
index bd6d7a58..911ceca5 100755
--- a/configure
+++ b/configure
@@ -205,6 +205,7 @@ have_windres=
 have_posix_sigs=
 have_sockets=
 have_git=
+have_ubsan=
 have_pwuid=
 have_grgid=
 have_alloca=
@@ -956,6 +957,8 @@ EXE := $exe
 
 have_git := $have_git
 
+have_ubsan := $have_ubsan
+
 add_win_res := $([ -n "$have_windows_h" -a -n "$have_windres" ] && echo "y")
 
 TXR_CC := $cc
@@ -1224,6 +1227,7 @@ if conftest ; then
   if strings conftest | grep -q -i ubsan ; then
     printf "yes\n"
     printf "#define HAVE_UBSAN 1\n" >> config.h
+    have_ubsan=y
   else
     printf "no\n"
   fi