[m-rev.] diff: fix bug #339: --restricted-command-line broken with recent Java compilers

[Julien Fischer]

Hi Sebastian,

On Wed, 15 Jul 2015, Sebastian Godelet wrote:

> I've compiled Mercury on Windows 8.1 with Java 1.8 and mmc now is able to invoke the
> Java compiler. However, there seems to be a bug in the batch file creation,
> When I use --use-grade-subdirs, the <name>.bat file cannot be found, since
> It is not looking in the grade specific directory, i.e.:
> Mercury\java\i686-pc-mingw32\Mercury\bats
> Invoking without --use-grade-subdirs works however
>
> mmc --use-grade-subdirs -s java -m fmt_bug
> cp: cannot stat `Mercury\\java\\i686-pc-mingw32\\Mercury\\bin\\fmt_bug.bat': No such file or directory
> Made symlink/copy of Mercury\java\i686-pc-mingw32\Mercury\jars\fmt_bug.jar
> mercury_compile.exe: error copying `Mercury\java\i686-pc-mingw32\Mercury\bin\fmt_bug.bat' to `fmt_bug.bat', can't open input file: No such file or directory

Are you running the compiler under MSYS, or Cygwin or directly on the
Windows command line?

Cheers,
Julien.