mirror of
https://github.com/php/php-src.git
synced 2024-09-30 22:36:12 +00:00
18 lines
318 B
Plaintext
18 lines
318 B
Plaintext
|
#!/bin/sh
|
||
|
|
||
|
outfile=$1; shift
|
||
|
extensions=$@
|
||
|
|
||
|
ext_libs=""
|
||
|
for dir in $extensions; do
|
||
|
archive="$dir/libphpext_$dir.a"
|
||
|
if test ! -r "$archive"; then
|
||
|
echo `basename $0`": could not open $archive" >&2
|
||
|
exit 1
|
||
|
fi
|
||
|
ext_libs="$ext_libs $archive"
|
||
|
done
|
||
|
|
||
|
dir=`dirname $0`
|
||
|
(set -x; $dir/armerge $outfile $ext_libs)
|