diff options
Diffstat (limited to 'tools/grmic.in')
| -rw-r--r-- | tools/grmic.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/grmic.in b/tools/grmic.in index 2bb29a721..eabce0e49 100644 --- a/tools/grmic.in +++ b/tools/grmic.in @@ -42,6 +42,6 @@ prefix=@prefix@ tools_dir=@datadir@/@PACKAGE@ -tools_cp=${tools_dir}/tools.zip:@PATH_TO_ASM@ +tools_cp=${tools_dir}/tools.zip exec @VM_BINARY@ -Xbootclasspath/p:"${tools_cp}" gnu.classpath.tools.rmic.Main "$@" |