diff options
Diffstat (limited to 'databases/monetdb/files/patch-configure')
| -rw-r--r-- | databases/monetdb/files/patch-configure | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/databases/monetdb/files/patch-configure b/databases/monetdb/files/patch-configure deleted file mode 100644 index 7285966d7be9..000000000000 --- a/databases/monetdb/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig 2013-11-20 11:27:41.000000000 +0000 -+++ configure 2014-08-10 12:16:46.974210130 +0000 -@@ -17262,7 +17262,7 @@ - ;; - esac - case "$LEX" in -- flex*) : ;; -+ *flex*) : ;; - *) - if test "x$enable_jaql" = xyes; then - as_fn_error $? "MonetDB/JAQL requires flex" "$LINENO" 5 |