diff options
Diffstat (limited to 'x11-toolkits/php-gtk2/files/patch-ext_scintilla-config.m4')
| -rw-r--r-- | x11-toolkits/php-gtk2/files/patch-ext_scintilla-config.m4 | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/x11-toolkits/php-gtk2/files/patch-ext_scintilla-config.m4 b/x11-toolkits/php-gtk2/files/patch-ext_scintilla-config.m4 deleted file mode 100644 index 48fcbb8e4951..000000000000 --- a/x11-toolkits/php-gtk2/files/patch-ext_scintilla-config.m4 +++ /dev/null @@ -1,16 +0,0 @@ ---- ext/scintilla/config.m4.orig Thu Jul 10 23:05:44 2003 -+++ ext/scintilla/config.m4 Thu Jul 10 23:05:52 2003 -@@ -6,10 +6,10 @@ - --enable-scintilla Enable Scintilla support]) - - if test "$PHP_GTK_SCINTILLA" != "no"; then -- for x in /usr /usr/local; do -- if test -f $x/include/gtkscintilla.h; then -+ for x in /usr/include /usr/local/include /usr/X11R6/include/scintilla; do -+ if test -f $x/gtkscintilla.h; then - SCINTILLA_DIR=$x -- SCINTILLA_INCDIR=$x/include -+ SCINTILLA_INCDIR=$x - fi - done - |