diff options
Diffstat (limited to '')
| -rwxr-xr-x | scripts/makedist.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/makedist.sh b/scripts/makedist.sh index dca64d216..d342cea3a 100755 --- a/scripts/makedist.sh +++ b/scripts/makedist.sh @@ -5,6 +5,9 @@ PWD=`pwd` ## assume the base directory. if test "`basename $PWD`" == "scripts"; then cd ../ +else + MYOLDPWD=`pwd` + cd `dirname $0`/../ fi if test -e Makefile @@ -17,4 +20,6 @@ make dist if test "`basename $PWD`" == "scripts"; then cd contrib/ +else + cd $MYOLDPWD fi |