From 2903498319b6483078c694cd06c701537a65988c Mon Sep 17 00:00:00 2001 From: Doug Zongker Date: Fri, 22 Apr 2011 08:16:56 -0700 Subject: [PATCH] don't use bashism just to remove trailing ':' Change-Id: I9f86baa65406ac547cee70a273eb730ca47df66b --- envsetup.sh | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/envsetup.sh b/envsetup.sh index bbc345ab2..397347918 100644 --- a/envsetup.sh +++ b/envsetup.sh @@ -100,8 +100,9 @@ function setpaths() export PATH=${PATH/$ANDROID_BUILD_PATHS/} fi if [ -n $ANDROID_PRE_BUILD_PATHS ] ; then - shopt -s extglob - export PATH=${PATH/$ANDROID_PRE_BUILD_PATHS?(:)/} + export PATH=${PATH/$ANDROID_PRE_BUILD_PATHS/} + # strip trailing ':', if any + export PATH=${PATH/%:/} fi # and in with the new @@ -1065,7 +1066,7 @@ function godir () { echo "" fi local lines - lines=($(grep "$1" $T/filelist | sed -e 's/\/[^/]*$//' | sort | uniq)) + lines=($(grep "$1" $T/filelist | sed -e 's/\/[^/]*$//' | sort | uniq)) if [[ ${#lines[@]} = 0 ]]; then echo "Not found" return @@ -1078,7 +1079,7 @@ function godir () { local line for line in ${lines[@]}; do printf "%6s %s\n" "[$index]" $line - index=$(($index + 1)) + index=$(($index + 1)) done echo echo -n "Select one: "