summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xlocaldebpool3
1 files changed, 2 insertions, 1 deletions
diff --git a/localdebpool b/localdebpool
index 19ff736..a8062e3 100755
--- a/localdebpool
+++ b/localdebpool
@@ -13,7 +13,8 @@ PUBBASE=~/public_websites/debian.jones.dk
debugprint() {
[ -n "$DEBUG" ] || return 0
- [ -z "$2" ] || [ "$DEBUG" -lt "$2" ] || return 0
+ debuglevel="${2:-1}"
+ [ "$DEBUG" -ge "$debuglevel" ] || return 0
echo 1>&2 "$1"
}