diff options
author | Roy Marples <roy@marples.name> | 2008-04-21 17:32:17 +0000 |
---|---|---|
committer | Roy Marples <roy@marples.name> | 2008-04-21 17:32:17 +0000 |
commit | df8eeba2fb5b0dc460b5f6aac5dafc380e17242e (patch) | |
tree | b45e915b1a7a1be69b75a118b7ea677cc469c996 /sh/functions.sh.in | |
parent | 54fce42c6f1ef8f834f5878b35e9dcab0cfe0b08 (diff) |
Punt is_function in favour of POSIX shell builtin command, thanks to Harald van Dijk for the idea.
Diffstat (limited to 'sh/functions.sh.in')
-rw-r--r-- | sh/functions.sh.in | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/sh/functions.sh.in b/sh/functions.sh.in index 8b7356aa..57917ed3 100644 --- a/sh/functions.sh.in +++ b/sh/functions.sh.in @@ -20,15 +20,6 @@ eoutdent() return 0 } -is_function() -{ - if [ -n "${BASH_VERSION}" ]; then - [ "$(type -t "$1")" = "function" ] - else - [ "$(type "$1" 2>/dev/null)" = "$1 is a shell function" ] - fi -} - yesno() { [ -z "$1" ] && return 1 |