diff options
Diffstat (limited to 'common/make_jar.sh')
| -rw-r--r-- | common/make_jar.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/common/make_jar.sh b/common/make_jar.sh index f12b5ee7..a84aad83 100644 --- a/common/make_jar.sh +++ b/common/make_jar.sh @@ -2,7 +2,7 @@ set -e fromrepo= -if [ $1 = -r ]; then shift; fromrepo=1; fi +if [ "$1" = -r ]; then shift; fromrepo=1; fi top=$(pwd) jar=$1 @@ -15,7 +15,7 @@ files="$@" HG=${HG:-hg} stage="$top/${jar%.*}" -mkdir -p $stage +mkdir -p "$stage" sed=$(which sed) if [ "xoo" = x$(echo foo | sed -E 's/f(o)/\1/' 2>/dev/null) ] @@ -86,9 +86,9 @@ done ( set -e; - cd $stage; - case $jar in - (*/) if [ "$stage" != "$jar" ]; then mv -- * $jar; fi;; + cd "$stage"; + case "$jar" in + (*/) if [ "$stage" != "$jar" ]; then mv -- * "$jar"; fi;; (*) zip -9r "$jar" -- *;; esac ) || exit 1 |