diff options
Diffstat (limited to 'genif.sh')
-rw-r--r-- | genif.sh | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/genif.sh b/genif.sh deleted file mode 100644 index 968250f439..0000000000 --- a/genif.sh +++ /dev/null @@ -1,42 +0,0 @@ -#! /bin/sh - -# $Id: genif.sh,v 1.9 2000-06-27 16:22:26 sas Exp $ -# replacement for genif.pl - -infile="$1" -shift -srcdir="$1" -shift -extra_module_ptrs="$1" -shift - -if test "$infile" = "" -o "$srcdir" = ""; then - echo "please supply infile and srcdir" - exit 1 -fi - -module_ptrs="$extra_module_ptrs" -includes="" - -olddir=`pwd` -cd $srcdir - -for ext in ${1+"$@"} ; do - module_ptrs=" phpext_${ext}_ptr,\\\n$module_ptrs" - for header in ext/$ext/*.h ; do - if grep phpext_ $header >/dev/null 2>&1 ; then - includes="#include \"$header\"\\\n$includes" - fi - done -done - -cd $olddir - -cat $infile | \ - sed \ - -e "s'@EXT_INCLUDE_CODE@'$includes'" \ - -e "s'@EXT_MODULE_PTRS@'$module_ptrs'" \ - -e 's/[\]n/\ -/g' - - |