<condition property="running.on.windows">
<os family="windows" />
</condition>
Then have the script act according to whether or not running.on.windows is
set.
You can also use the os attribute of exec, but there are multiple OS values
for multiple versions of Windows.
-Andrew
On 1/23/06, Marc Collin <[EMAIL PROTECTED]> wrote:
>
> hi
>
> i search a way to do:
>
> exec rmiregistry.exe if windows
> else exec rmiregistry
>
> any idea?
>
> thanks
> --
> www.laboiteaprog.com
>
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: [EMAIL PROTECTED]
> For additional commands, e-mail: [EMAIL PROTECTED]
>
>
