PAL11775

[tools/install.git] / config_files / omniORB-4.0.5.sh

diff --git a/config_files/omniORB-4.0.5.sh b/config_files/omniORB-4.0.5.sh
index 7ec46d5f8a11b8987ea327f6a4436dd28997e5b2..a5d7b79433513f9468cd339f8a2041d235ab2b46 100755 (executable)
--- a/config_files/omniORB-4.0.5.sh
+++ b/config_files/omniORB-4.0.5.sh
@@ -131,6 +131,14 @@ EOF
 check_job ${PRODUCT_DIR}/MAKE_OMNINOTIFY.LOG make
 check_job ${PRODUCT_DIR}/INSTALL_OMNINOTIFY.LOG make install
 
+cd ${PRODUCT_DIR}/bin
+sed -e "s%#\!.*python%#\!/usr/bin/env python%" omniidl > _omniidl
+mv -f _omniidl omniidl
+chmod a+x omniidl
+sed -e "s%#\!.*python%#\!/usr/bin/env python%" omniidlrun.py > _omniidlrun.py
+mv -f _omniidlrun.py omniidlrun.py
+chmod a+x omniidlrun.py
+
 #du -sk ${PRODUCT_WORK} > ${PRODUCT_DIR}/size.log
 cd ${PRODUCT_DIR}
 rm -fr ${INSTALL_WORK}/omniORB-4.0.5
@@ -149,9 +157,12 @@ 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
+sed -e "s%#\!.*python%#\!/usr/bin/env python%" omniidl > _omniidl
 mv -f _omniidl omniidl
 chmod a+x omniidl
+sed -e "s%#\!.*python%#\!/usr/bin/env python%" omniidlrun.py > _omniidlrun.py
+mv -f _omniidlrun.py omniidlrun.py
+chmod a+x omniidlrun.py
 
 print_env
 }