| changeset 12912 | 0e144958cf27 |
| parent 11949 | 38e20c036e37 |
| child 14981 | e73f8140af78 |
--- a/lib/Tools/usedir Thu Feb 21 09:54:08 2002 +0100 +++ b/lib/Tools/usedir Thu Feb 21 10:25:00 2002 +0100 @@ -51,7 +51,7 @@ function check_number() { - [ -n "$1" -a -z "$(echo "$1" | tr -d [0-9])" ] || fail "Bad number: \"$1\"" + [ -n "$1" -a -z "$(echo "$1" | tr -d '[0-9]')" ] || fail "Bad number: \"$1\"" }