diff options
-rwxr-xr-x | localdebpool | 3 |
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" } |