commit: ccec1787a73d75b8be66e6447e1d7531540f3bac
parent 656199be6b0e8198f0ff5f92b6e1f83462142809
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Sun, 28 Apr 2024 12:10:22 +0200
configure: Use ! at start of pipeline
Diffstat:
1 file changed, 6 insertions(+), 18 deletions(-)
diff --git a/configure b/configure
@@ -179,42 +179,32 @@ check_cmd YACC "$YACC" || exit 1
check_cmd MAKE "$MAKE" || exit 1
check_cmd M4 "$M4" || exit 1
-if check_cmd GCOV "$GCOV"
+if ! check_cmd GCOV "$GCOV"
then
- :
-else
echo 'Notice: "coverage" target will fail'
GCOV="false"
fi
-if check_cmd MANDOC "$MANDOC"
+if ! check_cmd MANDOC "$MANDOC"
then
- :
-else
echo 'Notice: Linting depending on mandoc disabled'
MANDOC="true"
fi
-if check_cmd SHELLCHECK "$SHELLCHECK"
+if ! check_cmd SHELLCHECK "$SHELLCHECK"
then
- :
-else
echo 'Notice: Linting depending on shellcheck disabled'
SHELLCHECK="true"
fi
-if check_cmd FLAWFINDER "$FLAWFINDER"
+if ! check_cmd FLAWFINDER "$FLAWFINDER"
then
- :
-else
echo 'Notice: Linting depending on flawfinder disabled'
FLAWFINDER="true"
fi
-if check_cmd CRAM "$CRAM"
+if ! check_cmd CRAM "$CRAM"
then
- :
-else
echo "Notice: cram not found, trying prysk"
CRAM="prysk"
@@ -227,10 +217,8 @@ else
fi
fi
-if check_cmd REUSE "$REUSE"
+if ! check_cmd REUSE "$REUSE"
then
- :
-else
echo 'Notice: Copyright linting depending on reuse disabled'
REUSE="true"
fi