diff options
| author | pav <pav@FreeBSD.org> | 2004-08-22 04:29:19 +0800 |
|---|---|---|
| committer | pav <pav@FreeBSD.org> | 2004-08-22 04:29:19 +0800 |
| commit | eea91d33b21c27f6f6386f346171ece68aa14489 (patch) | |
| tree | e90c6b93a031cbec3cb9df0ede8f77323f29ccef /devel/valgrind | |
| parent | 002537fc1af1e437d37a4947b8abdb80914402a1 (diff) | |
| download | freebsd-ports-gnome-eea91d33b21c27f6f6386f346171ece68aa14489.tar.gz freebsd-ports-gnome-eea91d33b21c27f6f6386f346171ece68aa14489.tar.zst freebsd-ports-gnome-eea91d33b21c27f6f6386f346171ece68aa14489.zip | |
- Teach configure script about FreeBSD 6
PR: ports/70746
Submitted by: Simon Barner <barner@in.tum.de> (maintainer)
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" |