From e41539b0aa208d99529be3a07ac05cd1179010f1 Mon Sep 17 00:00:00 2001 From: Nabil Ghodbane Date: Mon, 16 May 2022 11:45:58 +0200 Subject: [PATCH] omniORB: bug fix in version --- products/compil_scripts/omniORB.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/products/compil_scripts/omniORB.sh b/products/compil_scripts/omniORB.sh index 17c3ffe..3475c38 100755 --- 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" -- 2.39.2