diff options
Diffstat (limited to 'devel/omniORB/files/patch-configure')
| -rw-r--r-- | devel/omniORB/files/patch-configure | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/omniORB/files/patch-configure b/devel/omniORB/files/patch-configure deleted file mode 100644 index 405053be4d27..000000000000 --- a/devel/omniORB/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig Thu Apr 14 19:05:43 2005 -+++ configure Thu Jun 9 10:28:02 2005 -@@ -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";; |