Commit 7bf9dc49 by Evgeny Vereshchagin

ci: also build with ASan/UBsan

parent 49ffe5da
...@@ -45,10 +45,16 @@ jobs: ...@@ -45,10 +45,16 @@ jobs:
./autogen.sh ./autogen.sh
BUILD="$(pwd)/build" BUILD="$(pwd)/build"
mkdir -p "${BUILD}" SAN_BUILD="$(pwd)/san_build"
mkdir -p "${BUILD}" "${SAN_BUILD}"
cd "${BUILD}" cd "${BUILD}"
../configure --enable-tests --with-distro=unknown ../configure --enable-tests --with-distro=unknown
# Build # Build
make -j4 make -j4
make DESTDIR="${BUILD}/install" install make DESTDIR="${BUILD}/install" install
cd "${SAN_BUILD}"
CFLAGS="$CFLAGS -fsanitize=address,undefined" ../configure --disable-no-undefined --enable-tests --with-distro=unknown
make -j4
make DESTDIR="${SAN_BUILD}/install" install
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment