omniORB 4.0.5 installation script

diff --git a/config_files/omniORB-4.0.5.sh b/config_files/omniORB-4.0.5.sh
index 7fcb7bf31bfa9dab52e109c5764af2b1b4cb8510..3c13fe305f3e3140c614001c490903048d3e9735 100755 (executable)
--- a/config_files/omniORB-4.0.5.sh
+++ b/config_files/omniORB-4.0.5.sh
@@ -133,6 +133,8 @@ check_job ${PRODUCT_DIR}/INSTALL_OMNINOTIFY.LOG make install
 
 #du -sk ${PRODUCT_WORK} > ${PRODUCT_DIR}/size.log
 rm -fr ${PRODUCT_WORK}
+rm -fr ${PRODUCT_WORK}/omniORBpy-2.5
+rm -fr ${PRODUCT_WORK}/omniNotify
 print_env
 }