scripts/makedist.sh

   1 #!/bin/sh
   2 PWD=`pwd`
   3
   4 ## If we're not in the scripts directory
   5 ## assume the base directory.
   6 if test "`basename $PWD`" == "scripts"; then
   7         cd ../
   8 else
   9         MYOLDPWD=`pwd`
  10         cd `dirname $0`/../
  11 fi
  12
  13 if test -e Makefile
  14 then
  15         make distclean
  16 fi
  17 ./autogen.sh
  18 make
  19 make dist
  20
  21 if test "`basename $PWD`" == "scripts"; then
  22         cd contrib/
  23 else
  24         cd $MYOLDPWD
  25 fi