diff options
Diffstat (limited to 'devel/valgrind-snapshot/files/patch-configure')
-rw-r--r-- | devel/valgrind-snapshot/files/patch-configure | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/valgrind-snapshot/files/patch-configure b/devel/valgrind-snapshot/files/patch-configure deleted file mode 100644 index 9827b92dbace..000000000000 --- a/devel/valgrind-snapshot/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig Sat Aug 21 00:03:33 2004 -+++ configure Sat Aug 21 00:03:13 2004 -@@ -4020,7 +4020,7 @@ - - ;; - -- *freebsd5*) -+ *freebsd[567]*) - echo "$as_me:$LINENO: result: ok (${host_os})" >&5 - echo "${ECHO_T}ok (${host_os})" >&6 - VG_PLATFORM="x86-freebsd" |