aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFelix Fietkau <nbd@openwrt.org>2008-09-02 15:48:40 +0000
committerFelix Fietkau <nbd@openwrt.org>2008-09-02 15:48:40 +0000
commit973d7e80d7855ad24dbc0e7864ff24f37b8a70e6 (patch)
tree66f5eef3de9cc492e1c77c85970f04cf54a7f41e
parent081d16fed0c84409069c31c874a509289d139558 (diff)
downloadupstream-973d7e80d7855ad24dbc0e7864ff24f37b8a70e6.tar.gz
upstream-973d7e80d7855ad24dbc0e7864ff24f37b8a70e6.tar.bz2
upstream-973d7e80d7855ad24dbc0e7864ff24f37b8a70e6.zip
fix ./scripts/env for newer git versions
SVN-Revision: 12502
-rwxr-xr-xscripts/env4
1 files changed, 1 insertions, 3 deletions
diff --git a/scripts/env b/scripts/env
index 1aee4b323b..e08869596d 100755
--- a/scripts/env
+++ b/scripts/env
@@ -150,7 +150,6 @@ env_delete() {
local name="${1##*/}"
env_init
[ -z "$name" ] && usage
- [ -f "$ENVDIR/.git/refs/heads/$name" ] || error "environment '$name' not found"
branch="$(git branch | grep '^\* ' | awk '{print $2}')"
[ "$name" = "$branch" ] && error "cannot delete the currently selected environment"
git branch -D "$name"
@@ -159,11 +158,10 @@ env_delete() {
env_switch() {
local name="${1##*/}"
[ -z "$name" ] && usage
- [ -f "$ENVDIR/.git/refs/heads/$name" ] || error "environment '$name' not found"
env_init
env_ask_sync
- git checkout "$name"
+ git checkout "$name" || error "environment '$name' not found"
env_link_config
}