diff options
| -rw-r--r-- | devel/omniORB-4.1/files/patch-configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/omniORB-4.1/files/patch-configure b/devel/omniORB-4.1/files/patch-configure index bc17b7429fc6..3122c96fed2c 100644 --- a/devel/omniORB-4.1/files/patch-configure +++ b/devel/omniORB-4.1/files/patch-configure @@ -7,7 +7,7 @@ + *-*-freebsd9*) plat_name="FreeBSD"; plat_def="__freebsd__"; os_v="9";; + *-*-freebsd10*) plat_name="FreeBSD"; plat_def="__freebsd__"; os_v="10";; + *-*-freebsd11*) plat_name="FreeBSD"; plat_def="__freebsd__"; os_v="11";; -+ *-*-freebsd12*) plat_name="FreeBSD"; plat_def="__freebsd__"; os_v="11";; ++ *-*-freebsd12*) plat_name="FreeBSD"; plat_def="__freebsd__"; os_v="12";; *-*-kfreebsd*) plat_name="kFreeBSD"; plat_def="__FreeBSD_kernel__"; os_v="6";; *-*-netbsd*) plat_name="NetBSD"; plat_def="__netbsd__"; os_v="1";; *-*-openbsd*) plat_name="OpenBSD"; plat_def="__openbsd__"; os_v="3";; |