diff options
| author | Max Kellermann <max@duempel.org> | 2013-04-17 00:36:28 +0200 |
|---|---|---|
| committer | Max Kellermann <max@duempel.org> | 2013-04-17 00:37:30 +0200 |
| commit | ac9ebe1439b3ec14e78b2fa898b435485c68e362 (patch) | |
| tree | ccde05b55d644750d5dc71324e964279959c1e32 /scripts/makedist.sh | |
| parent | 7b5f7c041b5926cb151e0d42cd602498bd697369 (diff) | |
scripts: delete obsolete scripts
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 |