diff options
Diffstat (limited to 'scripts/makedist.sh')
-rwxr-xr-x | scripts/makedist.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/scripts/makedist.sh b/scripts/makedist.sh deleted file mode 100755 index 7f8624d8f..000000000 --- a/scripts/makedist.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/sh -PWD=`pwd` - -## If we're not in the scripts directory -## assume the base directory. -if test "`basename $PWD`" = "scripts"; then - cd ../ -else - MYOLDPWD=`pwd` - cd `dirname $0`/../ -fi - -if test -e Makefile -then - make distclean -fi -./autogen.sh -make -make dist - -if test "`basename $PWD`" = "scripts"; then - cd contrib/ -else - cd $MYOLDPWD -fi |