diff options
Diffstat (limited to 'devel/valgrind')
| -rw-r--r-- | devel/valgrind/files/patch-configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/valgrind/files/patch-configure b/devel/valgrind/files/patch-configure index d18f9b63b60e..86bf6240d9a4 100644 --- a/devel/valgrind/files/patch-configure +++ b/devel/valgrind/files/patch-configure @@ -5,7 +5,7 @@ ;; - *freebsd5*) -+ *freebsd[56]*) ++ *freebsd[567]*) echo "$as_me:$LINENO: result: ok (${host_os})" >&5 echo "${ECHO_T}ok (${host_os})" >&6 VG_PLATFORM="x86-freebsd" |