diff options
| author | barner <barner@FreeBSD.org> | 2005-07-18 15:13:54 +0800 |
|---|---|---|
| committer | barner <barner@FreeBSD.org> | 2005-07-18 15:13:54 +0800 |
| commit | 8a04210cfc8d8524b89183133d93ba4fea11e3d4 (patch) | |
| tree | 57b167946fd4be189f058d1d2923060cf3746600 | |
| parent | 50531642136c44b4a509dca6f70b1b1fd3613528 (diff) | |
| download | freebsd-ports-gnome-8a04210cfc8d8524b89183133d93ba4fea11e3d4.tar.gz freebsd-ports-gnome-8a04210cfc8d8524b89183133d93ba4fea11e3d4.tar.zst freebsd-ports-gnome-8a04210cfc8d8524b89183133d93ba4fea11e3d4.zip | |
- Fix detection of FreeBSD 7
Reported by: kris via pointyhat
| -rw-r--r-- | devel/valgrind-snapshot/files/patch-configure | 2 | ||||
| -rw-r--r-- | devel/valgrind/files/patch-configure | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/devel/valgrind-snapshot/files/patch-configure b/devel/valgrind-snapshot/files/patch-configure index f19fc98445ed..9827b92dbace 100644 --- a/devel/valgrind-snapshot/files/patch-configure +++ b/devel/valgrind-snapshot/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" 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" |