[m-rev.] for post-commit review: generate batch file launchers for the java grade on Windows

[Julien Fischer]

On Tue, 4 Jan 2011, Peter Wang wrote:

> On 2011-01-04, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>>
>> On Tue, 4 Jan 2011, Peter Wang wrote:
>>
>>> On 2011-01-04, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>>>> +
>>>> +    list.foldl(io.write_string(Stream), [
>>>> +        "@echo off\n",
>>>> +        "rem Automatically generated by the Mercury compiler.\n",
>>>> +        "setlocal\n",
>>>> +        "set DIR=$~dp0\n",
>>>
>>> Should that be %~dp0?
>>
>> Yes - the ~dp modifier gives you the directory path.
>
> The distinction was between "%" and "$".

Sorry, you're right - it should be %

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------