[openrtm-commit:03237] r817 - trunk/rtmtools
openrtm @ openrtm.org
openrtm @ openrtm.org
2018年 3月 12日 (月) 11:10:13 JST
Author: t-katami
Date: 2018-03-12 11:10:13 +0900 (Mon, 12 Mar 2018)
New Revision: 817
Modified:
trunk/rtmtools/mirror_site
Log:
Made it correspond to Eclipse4.7.2. refs 4481
Modified: trunk/rtmtools/mirror_site
===================================================================
--- trunk/rtmtools/mirror_site 2018-03-10 03:23:59 UTC (rev 816)
+++ trunk/rtmtools/mirror_site 2018-03-12 02:10:13 UTC (rev 817)
@@ -91,6 +91,7 @@
{
app_arti="org.eclipse.equinox.p2.artifact.repository.mirrorApplication"
app_meta="org.eclipse.equinox.p2.metadata.repository.mirrorApplication"
+ app_dire="org.eclipse.equinox.p2.director"
echo -n "Mirroring P2 Repo: $1..."
java -jar $ECLIPSE_HOME/plugins/org.eclipse.equinox.launcher_*.jar \
@@ -101,6 +102,10 @@
-verbose \
-application $app_meta\
-source $1 -destination $2
+ java -jar $ECLIPSE_HOME/plugins/org.eclipse.equinox.launcher_*.jar \
+ -verbose \
+ -application $app_dire\
+ -source $1 -destination $2
echo "done."
}
openrtm-commit メーリングリストの案内