sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 01:39:16 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

- Teach configure script about FreeBSD 6

Browse source 
PR:		ports/70746
Submitted by:	Simon Barner <barner@in.tum.de> (maintainer)
This commit is contained in:
Pav Lucistnik 2004-08-21 20:29:19 +00:00
parent c1c3d3879b
commit f15f0ac4be
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=116977
2 changed files with 22 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
devel/valgrind-snapshot/files/patch-configure Normal file
View file

@ -0,0 +1,11 @@
--- configure.orig Sat Aug 21 00:03:33 2004
+++ configure Sat Aug 21 00:03:13 2004
@@ -4020,7 +4020,7 @@
;;
- *freebsd5*)
+ *freebsd[56]*)
echo "$as_me:$LINENO: result: ok (${host_os})" >&5
echo "${ECHO_T}ok (${host_os})" >&6
VG_PLATFORM="x86-freebsd"

11
devel/valgrind/files/patch-configure Normal file
View file

@ -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"