diff options
Diffstat (limited to 'scripts/mkextlib.in')
-rwxr-xr-x | scripts/mkextlib.in | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/scripts/mkextlib.in b/scripts/mkextlib.in deleted file mode 100755 index c098ef7b5d..0000000000 --- a/scripts/mkextlib.in +++ /dev/null @@ -1,17 +0,0 @@ -#!/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) -exit 0 |