diff options
| author | Dmitry Stogov <dmitry@php.net> | 2005-06-17 09:39:23 +0000 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@php.net> | 2005-06-17 09:39:23 +0000 |
| commit | f47c78487bda814ccb1de09fe44fe9a6b4082c30 (patch) | |
| tree | b6abddf041fb917f5545741ea8928be9ebb66985 /build | |
| parent | c0c7a9f0101f5488cbf861390f5a89feaebcc94a (diff) | |
| download | php-git-f47c78487bda814ccb1de09fe44fe9a6b4082c30.tar.gz | |
Improved PHP extension loading mechanism with support for module dependencies and conflicts
Diffstat (limited to 'build')
| -rw-r--r-- | build/genif.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build/genif.sh b/build/genif.sh index 6fb8fc391f..f40ad57a83 100644 --- a/build/genif.sh +++ b/build/genif.sh @@ -1,6 +1,6 @@ #! /bin/sh -# $Id: genif.sh,v 1.4 2004-07-18 12:03:51 wez Exp $ +# $Id: genif.sh,v 1.5 2005-06-17 09:39:20 dmitry Exp $ # replacement for genif.pl infile=$1 @@ -17,13 +17,13 @@ if test -z "$infile" || test -z "$srcdir"; then exit 1 fi +module_ptrs=$extra_module_ptrs header_list= olddir=`pwd` cd $srcdir -module_ptrs="$extra_module_ptrs`echo $@ | $awk -f ./build/order_by_dep.awk`" - for ext in ${1+"$@"} ; do + module_ptrs=" phpext_${ext}_ptr,@NEWLINE@$module_ptrs" header_list="$header_list ext/$ext/*.h" done |