[openrtm-commit:02646] r742 - trunk/rtmtools

[openrtm ＠ openrtm.org]

Author: kawauchi
Date: 2017-06-19 15:19:42 +0900 (Mon, 19 Jun 2017)
New Revision: 742

Modified:
   trunk/rtmtools/openrtp
Log:
[compat] Clean option has been modified to work. refs #4115

Modified: trunk/rtmtools/openrtp
===================================================================
--- trunk/rtmtools/openrtp	2017-06-19 04:02:01 UTC (rev 741)
+++ trunk/rtmtools/openrtp	2017-06-19 06:19:42 UTC (rev 742)
@@ -293,7 +293,7 @@
     for d in $openrtp_dir ; do
         if test -f $d/eclipse ; then
             OPENRTP_DIR=$d
-            OPENRTP_EXECUTABLE=$d/eclipse
+            OPENRTP_EXECUTABLE="./eclipse"
             debug_echo "OPENRTP_DIR: $OPENRTP_DIR"
             debug_echo "OPENRTP_EXECUTABLE: $OPENRTP_EXECUTABLE"
             return 0
@@ -331,4 +331,5 @@
 find_OPENRTP_DIR
 
 export GDK_NATIVE_WINDOWS=1
+cd $OPENRTP_DIR
 $OPENRTP_EXECUTABLE $ECLIPSE_ARGS -vmargs -Djava.util.logging.config.file=$OPENRTP_DIR/logger.properties