blob: 7acb214e184aa972e13458213d6e2d803779c614 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/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
(set -x; $top_srcdir/scripts/armerge $outfile $ext_libs)
|
