diff options
| -rwxr-xr-x | scripts/makedist.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/makedist.sh b/scripts/makedist.sh index d342cea3a..7f8624d8f 100755 --- a/scripts/makedist.sh +++ b/scripts/makedist.sh @@ -3,7 +3,7 @@ PWD=`pwd` ## If we're not in the scripts directory ## assume the base directory. -if test "`basename $PWD`" == "scripts"; then +if test "`basename $PWD`" = "scripts"; then cd ../ else MYOLDPWD=`pwd` @@ -18,7 +18,7 @@ fi make make dist -if test "`basename $PWD`" == "scripts"; then +if test "`basename $PWD`" = "scripts"; then cd contrib/ else cd $MYOLDPWD |