diff options
-rw-r--r-- | devel/omniORB/files/patch-configure | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devel/omniORB/files/patch-configure b/devel/omniORB/files/patch-configure index 10ec1ea168f3..405053be4d27 100644 --- a/devel/omniORB/files/patch-configure +++ b/devel/omniORB/files/patch-configure @@ -1,10 +1,11 @@ --- configure.orig Thu Apr 14 19:05:43 2005 +++ configure Thu Jun 9 10:28:02 2005 -@@ -11872,6 +11872,7 @@ +@@ -11872,6 +11872,8 @@ *-*-freebsd3*) plat_name="FreeBSD"; plat_def="__freebsd__"; os_v="3";; *-*-freebsd4*) plat_name="FreeBSD"; plat_def="__freebsd__"; os_v="4";; *-*-freebsd5*) plat_name="FreeBSD"; plat_def="__freebsd__"; os_v="5";; + *-*-freebsd6*) plat_name="FreeBSD"; plat_def="__freebsd__"; os_v="6";; ++ *-*-freebsd7*) plat_name="FreeBSD"; plat_def="__freebsd__"; os_v="7";; *-*-netbsd*) plat_name="NetBSD"; plat_def="__netbsd__"; os_v="1";; *-*-openbsd*) plat_name="OpenBSD"; plat_def="__openbsd__"; os_v="3";; *-*-sco*) plat_name="OSR5"; plat_def="__osr5__"; os_v="5";; |