omniORB: bug fix in version

diff --git a/products/compil_scripts/omniORB.sh b/products/compil_scripts/omniORB.sh
index 17c3ffe73f7b6d7f788266a809db1c4c00241a66..3475c3860067f3f88254cc894dc751f4b82a4311 100755 (executable)
--- a/products/compil_scripts/omniORB.sh
+++ b/products/compil_scripts/omniORB.sh
@@ -36,7 +36,7 @@ then
 fi
 function version_ge() { test "$(echo "$@" | tr " " "\n" | sort -rV | head -n 1)" == "$1"; }
 
-if version_ge $OT_VERSION "4.1" ; then
+if version_ge $VERSION "4.1" ; then
     # fix headers
     echo
     echo "*** fix headers"