X-Git-Url: https://ruderich.org/simon/gitweb/?p=nsscash%2Fnsscash.git;a=blobdiff_plain;f=ci%2Frun;h=d4bd6f503da727c29d9b4a1271287daaa49f0c18;hp=72170679799029c698dd42191a87584d9478fc61;hb=4403833dcfc3d296dd9664b1752f722e5f64a275;hpb=e9cde5247dbdf34b9648fa7e755564d74cff8a64

diff --git a/ci/run b/ci/run
index 7217067..d4bd6f5 100755
--- a/ci/run
+++ b/ci/run
@@ -4,13 +4,18 @@ set -eu
 set -x
 
 
-make
-make test
+flags=
+if test $# -ne 0; then
+    flags="$*"
+fi
+
+make      $flags
+make test $flags
 
 test -z "$(git clean -nd)" # any untracked files left?
 make clean
 test -z "$(git clean -ndx)" # any unignored files left?
 
 # Build with clang
-make      CC=clang
-make test CC=clang
+make      CC=clang $flags
+make test CC=clang $flags