summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2021-04-02 08:08:08 +0300
committerLars Wirzenius <liw@liw.fi>2021-04-02 08:19:42 +0300
commite4e40eb0cae0bd4a01e0cacf896095db6ac0d78d (patch)
treece88c4877e00f40331eabed026fca15c93c181fc
parent33a8e6107f3282988db7dabd2f5f5eb407820561 (diff)
downloadjt2-e4e40eb0cae0bd4a01e0cacf896095db6ac0d78d.tar.gz
fix: if ./check gets -v, don't pass it onto test.py
-rwxr-xr-xcheck1
1 files changed, 1 insertions, 0 deletions
diff --git a/check b/check
index 1f92df9..55b9158 100755
--- a/check
+++ b/check
@@ -8,6 +8,7 @@ then
case "$1" in
verbose | -v | --verbose)
verbose=true
+ shift
;;
esac
fi