configure
changeset 34 25e00090b15c
parent 29 44b09d6e1170
child 36 d86f1cebe419
equal deleted inserted replaced
33:f7004679e34d 34:25e00090b15c
   751   SET_MAKE="MAKE=${MAKE-make}"
   751   SET_MAKE="MAKE=${MAKE-make}"
   752 fi
   752 fi
   753 
   753 
   754 
   754 
   755 
   755 
   756 PACKAGE=mixer
   756 PACKAGE=SDLmixer
   757 
   757 
   758 VERSION=$VERSION
   758 VERSION=$VERSION
   759 
   759 
   760 if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then
   760 if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then
   761   { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; }
   761   { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; }