Merge branch 'chronic' into 'main'

fix: only use chronic in ./check if it's available

See merge request larswirzenius/summain!7

1 files changed, 6 insertions, 1 deletions

diff --git a/check b/check
index 0445bf5..70004de 100755
--- a/check
+++ b/check
@@ -5,7 +5,12 @@
 set -euo pipefail
 
 quiet=-q
-hideok=chronic
+hideok=
+if command -v chronic > /dev/null
+then
+    hideok=chronic
+fi
+
 if [ "$#" -gt 0 ]
 then
     case "$1" in