blob: 2370ae22a27acfd6b6792495f7d09ace30f1a96d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/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)
|
