diff options
Diffstat (limited to 'devel/gnatcoll/files/patch-configure')
| -rw-r--r-- | devel/gnatcoll/files/patch-configure | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/gnatcoll/files/patch-configure b/devel/gnatcoll/files/patch-configure deleted file mode 100644 index 981de53a3b57..000000000000 --- a/devel/gnatcoll/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig 2016-05-19 14:39:16 UTC -+++ configure -@@ -3910,7 +3910,7 @@ $as_echo_n "checking if we can link with - ia64-*hp-hpux11* ) - PYTHON_LIBS="-ldld -ldl -lm -Wl,-E ${PYTHON_LIBS}" - ;; -- *-freebsd* ) -+ *-freebsd* | *-dragonfly* ) - PYTHON_LIBS="-lm -lutil ${PYTHON_LIBS}" - ;; - esac |