From 7867e0ebcefe3def81448048d46f4da0b7cb0f38 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Fri, 6 Apr 2018 02:28:59 +0200 Subject: [PATCH] Try to build both src and tools for coverage --- doc/scripts/coverage.sh | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/doc/scripts/coverage.sh b/doc/scripts/coverage.sh index 79bc901..e8befde 100755 --- a/doc/scripts/coverage.sh +++ b/doc/scripts/coverage.sh @@ -54,8 +54,13 @@ _coverage() return 2 fi #build the project in a separate directory - $MKDIR "$tmpdir/src" "$tmpdir/tests" && - (cd ../src && $MAKE CC="$CC" CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" OBJDIR="$tmpdir/src/") && + for i in src tools; do + [ -d "../$i" ] || continue + $MKDIR -- "$tmpdir/$i" && + (cd "../$i" && $MAKE CC="$CC" CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" OBJDIR="$tmpdir/$i/") + done + unset i + $MKDIR -- "$tmpdir/tests" && $MAKE CC="$CC" CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" OBJDIR="$tmpdir/tests/" "$tmpdir/tests/$TARGET" res=$? #look for any code executed