On Tue, 26 Feb 2002, Rubun Tang <[EMAIL PROTECTED]> wrote:
> let say you have this target:
> 
> <target name="foo">
>       <exec dir="${another_dir} executable="run.bat"/>
> </target>

AFAIK, I'm not a Windows user, you cannot execute .bat files directly,
you need to invoke CMD.EXE or COMMAND.COM instead.

Stefan

--
To unsubscribe, e-mail:   <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>

Reply via email to