From 5ddf61c1f1ac312f5de503808dce1028a57910e1 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 28 Mar 2018 11:37:58 +0200 Subject: [PATCH] travis: exclude packages from coverage collection Specifically, reset CFLAGS and LDFLAGS before compiling packages, to prevent them from being compiled with coverage gathering, because otherwise gcov may confuse IO's src/io.c, or anupq's src/read.c, with GAP kernel files with the same name --- etc/ci.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/etc/ci.sh b/etc/ci.sh index 0b6f8ac608..910ee63cb6 100644 --- a/etc/ci.sh +++ b/etc/ci.sh @@ -73,6 +73,12 @@ do rm -rf NormalizInterface-0.9.8 fi + # reset CFLAGS and LDFLAGS before compiling packages, to prevent + # them from being compiled with coverage gathering, because + # otherwise gcov may confuse IO's src/io.c, or anupq's src/read.c, + # with GAP kernel files with the same name + unset CFLAGS + unset LDFLAGS if ! "$SRCDIR/bin/BuildPackages.sh" --strict --with-gaproot="$BUILDDIR" then echo "Some packages failed to build:"