Fix a bug: after installation of omni binaries it is necessary to correct path to...

diff --git a/config_files/omniORB-4.0.5.sh b/config_files/omniORB-4.0.5.sh
index e5f02233bb5e1a6e50f78842b2bebfdb80f4d8e4..7fcb7bf31bfa9dab52e109c5764af2b1b4cb8510 100755 (executable)
--- a/config_files/omniORB-4.0.5.sh
+++ b/config_files/omniORB-4.0.5.sh
@@ -144,6 +144,12 @@ source ${INSTALL_WORK}/$SHRC
 check_jb tar xfz ${SOURCE_DIR}/omniORB-4.0.5.tar.gz -C ${INSTALL_ROOT}
 
 ln -s ${PRODUCT_DIR} ${INSTALL_ROOT}/omni
+
+cd ${PRODUCT_DIR}/bin
+sed -e "s%#\!.*python%#\!`which python`%" omniidl > _omniidl
+mv -f _omniidl omniidl
+chmod a+x omniidl
+
 print_env
 }