mirror of
git://git.openwrt.org/openwrt/openwrt.git
synced 2025-12-06 12:44:00 -05:00
fix a small typo
SVN-Revision: 12216
This commit is contained in:
parent
6c0474b383
commit
88b0d6785e
@ -158,7 +158,7 @@ env_delete() {
|
|||||||
env_switch() {
|
env_switch() {
|
||||||
local name="${1##*/}"
|
local name="${1##*/}"
|
||||||
[ -z "$name" ] && usage
|
[ -z "$name" ] && usage
|
||||||
[ -f "$envdir/.git/refs/heads/$name" ] || error "environment '$name' not found"
|
[ -f "$ENVDIR/.git/refs/heads/$name" ] || error "environment '$name' not found"
|
||||||
|
|
||||||
env_init
|
env_init
|
||||||
env_ask_sync
|
env_ask_sync
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user