diff options
Diffstat (limited to 'lib/patchfns.in')
-rw-r--r-- | lib/patchfns.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/patchfns.in b/lib/patchfns.in index f30ea13..4d57d5c 100644 --- a/lib/patchfns.in +++ b/lib/patchfns.in @@ -596,3 +596,14 @@ patch_description() ' $patch_file fi } + +in_array() +{ + local a=$1 + while [ $# -gt 1 ] + do + shift + [ "$a" = "$1" ] && return 0 + done + return 1 +} |