diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-25 22:14:30 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-25 22:14:30 (EDT) |
commit | 18252e0c728913402883ce1edfb4dc298935af9d (patch) | |
tree | fc82046d57a8c2bb96c144d84dbe080d95112152 | |
parent | 007b17863cedc5f46f656a3b031ac36a271676f2 (diff) |
src/profile.sh: Remove dead return
-rw-r--r-- | src/profile.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/profile.sh b/src/profile.sh index 13f28cd..2e1bff0 100644 --- a/src/profile.sh +++ b/src/profile.sh @@ -36,8 +36,6 @@ is_profile() shift 1 case "${profiles}" in *" ${prof} "*) return 0;; *) return 1;; esac - - return ${?} } profile_set() |