summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2020-12-06 11:53:02 +0200
committerLars Wirzenius <liw@liw.fi>2020-12-06 11:53:02 +0200
commit20fd4129d44ee0ec3ea2ea073964d107040cc2e5 (patch)
tree2b5726a243c31df75935a89e1beef482e2ca0790
parentbafb7d8aea2ba622a0e4588de852744ca6bdce8e (diff)
downloadsummain-rs-20fd4129d44ee0ec3ea2ea073964d107040cc2e5.tar.gz
fix: only use chronic in ./check if it's available
-rwxr-xr-xcheck7
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