From f15f0ac4bede7b413cc7e6c7f4c057b3d7cd518f Mon Sep 17 00:00:00 2001 From: Pav Lucistnik Date: Sat, 21 Aug 2004 20:29:19 +0000 Subject: - Teach configure script about FreeBSD 6 PR: ports/70746 Submitted by: Simon Barner (maintainer) --- devel/valgrind-snapshot/files/patch-configure | 11 +++++++++++ devel/valgrind/files/patch-configure | 11 +++++++++++ 2 files changed, 22 insertions(+) create mode 100644 devel/valgrind-snapshot/files/patch-configure create mode 100644 devel/valgrind/files/patch-configure diff --git a/devel/valgrind-snapshot/files/patch-configure b/devel/valgrind-snapshot/files/patch-configure new file mode 100644 index 000000000000..f19fc98445ed --- /dev/null +++ b/devel/valgrind-snapshot/files/patch-configure @@ -0,0 +1,11 @@ +--- configure.orig Sat Aug 21 00:03:33 2004 ++++ configure Sat Aug 21 00:03:13 2004 +@@ -4020,7 +4020,7 @@ + + ;; + +- *freebsd5*) ++ *freebsd[56]*) + echo "$as_me:$LINENO: result: ok (${host_os})" >&5 + echo "${ECHO_T}ok (${host_os})" >&6 + VG_PLATFORM="x86-freebsd" diff --git a/devel/valgrind/files/patch-configure b/devel/valgrind/files/patch-configure new file mode 100644 index 000000000000..d18f9b63b60e --- /dev/null +++ b/devel/valgrind/files/patch-configure @@ -0,0 +1,11 @@ +--- configure.orig Sat Aug 21 00:06:00 2004 ++++ configure Sat Aug 21 00:06:24 2004 +@@ -4010,7 +4010,7 @@ + + ;; + +- *freebsd5*) ++ *freebsd[56]*) + echo "$as_me:$LINENO: result: ok (${host_os})" >&5 + echo "${ECHO_T}ok (${host_os})" >&6 + VG_PLATFORM="x86-freebsd" -- cgit v1.2.3