diff options
| -rwxr-xr-x | cobra/index.sh | 4 | 
1 files changed, 0 insertions, 4 deletions
| diff --git a/cobra/index.sh b/cobra/index.sh index e3c5a1ea..1118a823 100755 --- a/cobra/index.sh +++ b/cobra/index.sh @@ -1,9 +1,6 @@  #! /bin/sh  set -euf  trap "echo 'You are made of stupid!' >&2; exit 23" EXIT -disarm() { -  trap - EXIT -}  COBRA_PATH="${COBRA_PATH-$PWD}" @@ -13,7 +10,6 @@ for target; do      if test -d "$path/$target"; then        if index="$path/$target/index.sh" && test -f "$index"; then          exec /bin/sh "$index" -        disarm        fi      fi    done | 
