langtools/make/build.xml
changeset 11866 dc9c7a2df80e
parent 11864 116173ff7d77
child 12085 ce2780cb121f
--- a/langtools/make/build.xml	Thu Feb 09 22:56:13 2012 -0800
+++ b/langtools/make/build.xml	Sun Feb 12 16:44:13 2012 -0800
@@ -968,7 +968,7 @@
                     samevm="@{samevm}" verbose="@{verbose}"
                     failonerror="false" resultproperty="jtreg.@{name}.result"
                     javacoptions="-g"
-                    vmoptions="${coverage.options} -Xbootclasspath/p:${coverage.classpath}:${build.classes.dir} @{jpda.jvmargs}">
+                    vmoptions="${coverage.options} -Xbootclasspath/p:${coverage.classpath}${path.separator}${build.classes.dir} @{jpda.jvmargs}">
                     <arg line="@{keywords}"/>
                     <arg line="@{options}"/>
                     <arg line="@{tests}"/>