X-Git-Url: https://ruderich.org/simon/gitweb/?a=blobdiff_plain;f=ci%2Frun;h=45db771a7e9a40e71cfcc49cdb834a5c7db248ac;hb=e4c6a178848145c8dba68ed054cbb48dcecccf65;hp=472502cb0fc43cd0fd11471d9e4c8c312e7ad5e5;hpb=318619e760d6235573dc14c119618a12f8b4eb6f;p=safcm%2Fsafcm.git

diff --git a/ci/run b/ci/run
index 472502c..45db771 100755
--- a/ci/run
+++ b/ci/run
@@ -12,6 +12,10 @@ if test $# -ne 0; then
     flags="$*"
 fi
 
+# Run additional tests in CI
+SAFCM_CI_RUN=1
+export SAFCM_CI_RUN
+
 make $flags
 make test $flags