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