Index: head/devel/omniORB-4.1/files/patch-configure
===================================================================
--- head/devel/omniORB-4.1/files/patch-configure	(revision 418958)
+++ head/devel/omniORB-4.1/files/patch-configure	(revision 418959)
@@ -1,13 +1,13 @@
 --- configure.orig	2013-06-24 10:16:01 UTC
 +++ configure
 @@ -7254,6 +7254,10 @@ case "$host" in
    *-*-freebsd6*) plat_name="FreeBSD";  plat_def="__freebsd__";  os_v="6";;
    *-*-freebsd7*) plat_name="FreeBSD";  plat_def="__freebsd__";  os_v="7";;
    *-*-freebsd8*) plat_name="FreeBSD";  plat_def="__freebsd__";  os_v="8";;
 +  *-*-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";;