X-Git-Url: http://git.ozo.com/?a=blobdiff_plain;f=scripts%2Fenv;fp=scripts%2Fenv;h=e08869596d3688e645b0380a46fba0b1e1e13e28;hb=5e0e6f254e643c042600e69053aa806e0d6245bf;hp=1aee4b323b82b7565ef867aba36cb57152aa4b71;hpb=68c0a1f6b885c7a2d508e617d2515e52d31d41df;p=openwrt-10.03%2F.git

diff --git a/scripts/env b/scripts/env
index 1aee4b323..e08869596 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
 }