diff options
Diffstat (limited to 'graphics/mapserver/files/patch-configure')
| -rw-r--r-- | graphics/mapserver/files/patch-configure | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/graphics/mapserver/files/patch-configure b/graphics/mapserver/files/patch-configure deleted file mode 100644 index 0ba3b15d3add..000000000000 --- a/graphics/mapserver/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig Mon Jun 7 16:05:35 2004 -+++ configure Mon Jun 7 16:05:50 2004 -@@ -8346,7 +8346,7 @@ - echo "$as_me:$LINENO: result: yes, user supplied MING directory" >&5 - echo "${ECHO_T}yes, user supplied MING directory" >&6 - MING_ENABLED=-DUSE_MING_FLASH -- MING_LIB=-L$with_ming -lming -+ MING_LIB="-L$with_ming -lming" - MING_INC=-I$with_ming - fi - |