diff options
| author | Jelle van der Waa <jelle@vdwaa.nl> | 2017-01-06 17:19:12 +0100 |
|---|---|---|
| committer | Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> | 2017-03-04 15:03:05 +0100 |
| commit | fea14fa28621a06e78d5c0c360efefa7097d6fbb (patch) | |
| tree | 51c8157046163f2449ef399edc0c73bfda9cfc3d | |
| parent | 4bafd641ab4e18083a1bac829c0e914523351259 (diff) | |
| download | devtools32-fea14fa28621a06e78d5c0c360efefa7097d6fbb.tar.xz | |
lib: remove unused left, right
| -rw-r--r-- | lib/common.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/common.sh b/lib/common.sh index f6aea93..780962c 100644 --- a/lib/common.sh +++ b/lib/common.sh @@ -162,8 +162,6 @@ slock() { # usage: pkgver_equal( $pkgver1, $pkgver2 ) ## pkgver_equal() { - local left right - if [[ $1 = *-* && $2 = *-* ]]; then # if both versions have a pkgrel, then they must be an exact match [[ $1 = "$2" ]] |