diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2010-06-26 19:48:57 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2010-06-26 20:01:19 +0200 |
| commit | 7753bdd66332eaaf4bf2e0e011d54330e35b0e0e (patch) | |
| tree | b03c91a3e407751374e6a80bdbb74e18abca9d78 /localdebpool | |
| parent | 71ebf37d868d8f2408236b4cf7e196e43ef85143 (diff) | |
Fix resolve DEBUG level.
Diffstat (limited to 'localdebpool')
| -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" } |