utils

commit: bb279ddf89d7e9d6a93437d9044393661a1a9789
parent 8d02e66464ac8361914aa9694a3186934bfe2b75
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date:   Mon, 14 Mar 2022 19:16:53 +0100

configure: do not fail on gcov absence

Diffstat:
M
configure
9
++++++++-

1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/configure b/configure
@@ -133,7 +133,14 @@ rm -f config.mk bin/config.mk sbin/config.mk \
 check_cmd PKGCONFIG "$PKGCONFIG" || exit 1
 check_cmd CC "$CC" || exit 1
 check_cmd MAKE "$MAKE" || exit 1
-check_cmd GCOV "$GCOV" || exit 1
+
+if check_cmd GCOV "$GCOV"
+then
+	:
+else
+	echo 'Notice: "coverage" target will fail'
+	GCOV="false"
+fi
 
 if check_cmd MANDOC "$MANDOC"
 then