mirror of
https://github.com/php/php-src.git
synced 2024-11-30 21:35:36 +08:00
25 lines
440 B
Bash
Executable File
25 lines
440 B
Bash
Executable File
#!/bin/sh
|
|
# $Id$
|
|
|
|
while test $# -gt 0; do
|
|
if test "$1" = "--copy"; then
|
|
automake_flags=--copy
|
|
fi
|
|
|
|
if test "$1" = "--ZendEngine2"; then
|
|
ZENDDIR=ZendEngine2
|
|
echo "Using Zend Engine 2 code"
|
|
fi
|
|
|
|
shift
|
|
done
|
|
|
|
if test -z "$ZENDDIR"; then
|
|
ZENDDIR=Zend
|
|
echo "using default Zend directory"
|
|
fi
|
|
|
|
rm -f generated_lists
|
|
|
|
${MAKE:-make} -s -f build/build.mk AMFLAGS="$automake_flags" ZENDDIR="$ZENDDIR"
|