archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 13:38:49 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

cleanup

Browse source
This commit is contained in:
foobar 2003-05-19 11:54:00 +00:00
parent 0eb791969b
commit 7575a5e1df
1 changed files with 19 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

43
buildconf
View file

@ -3,43 +3,38 @@
eval `grep '^EXTRA_VERSION=' configure.in` eval `grep '^EXTRA_VERSION=' configure.in`
case "$EXTRA_VERSION" in case "$EXTRA_VERSION" in
*-dev) *-dev)
dev=1 dev=1
;; ;;
*) *)
dev=0 dev=0
;; ;;
esac esac
devok=0 devok=0
while test $# -gt 0; do while test $# -gt 0; do
if test "$1" = "--copy"; then if test "$1" = "--copy"; then
automake_flags=--copy automake_flags=--copy
fi fi
if test "$1" = "--ZendEngine2"; then if test "$1" = "--force"; then
ZENDDIR=ZendEngine2 devok=1
echo "Using Zend Engine 2 code" echo "Forcing buildconf"
fi fi
if test "$1" = "--force"; then shift
devok=1
echo "Forcing buildconf"
fi
shift
done done
if test "$dev" = "0" -a "$devok" = "0"; then if test "$dev" = "0" -a "$devok" = "0"; then
echo "You should not run buildconf in a release package." echo "You should not run buildconf in a release package."
echo "use buildconf --force to override this check." echo "use buildconf --force to override this check."
exit 1 exit 1
fi fi
if test -z "$ZENDDIR"; then if test -z "$ZENDDIR"; then
ZENDDIR=Zend ZENDDIR=Zend
echo "using default Zend directory" echo "using default Zend directory"
fi fi
rm -f generated_lists rm -f generated_lists