diff --git a/utility/embed-static.sh b/utility/embed-static.sh index 0cf0fcb86..ec91dc9e3 100755 --- a/utility/embed-static.sh +++ b/utility/embed-static.sh @@ -10,10 +10,10 @@ cat < $type_file var types = map [string] map [string] string { EOF - +CDIR=`pwd` for dir in $@ do - pushd "$dir" > /dev/null + cd "$dir" echo -e "\t\"`basename $dir`\": {" echo -e "\t\"`basename $dir`\": {" >> $type_file @@ -30,7 +30,7 @@ do done echo -e "\t}," >> $type_file echo -e "\t}," - popd > /dev/null + cd $CDIR done echo '}' cat $type_file