diff options
author | Pav Lucistnik <pav@FreeBSD.org> | 2004-08-21 20:29:19 +0000 |
---|---|---|
committer | Pav Lucistnik <pav@FreeBSD.org> | 2004-08-21 20:29:19 +0000 |
commit | f15f0ac4bede7b413cc7e6c7f4c057b3d7cd518f (patch) | |
tree | b7be77389ba9065a7e1f82d370f8fa4b3a86be5f /devel/valgrind | |
parent | c1c3d3879b4968d1c956c3c0966a8b6061c0795a (diff) | |
download | ports-f15f0ac4bede7b413cc7e6c7f4c057b3d7cd518f.tar.gz ports-f15f0ac4bede7b413cc7e6c7f4c057b3d7cd518f.zip |
Notes
Diffstat (limited to 'devel/valgrind')
-rw-r--r-- | devel/valgrind/files/patch-configure | 11 |
1 files changed, 11 insertions, 0 deletions
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" |