----- Original Message -----
From: <[EMAIL PROTECTED]>
To: <[EMAIL PROTECTED]>
Sent: Tuesday, December 11, 2001 5:53 PM
Subject: RE: pushd and popd
> Diane is correct. It would look something like:
>
> <target name="pushpop">
> <exec executable="cmd /c">
> <arg line="pushd \\${server}\${testdir}">
> </exec>
> <exec executable="cmd /c">
> <arg line="popd">
> </exec>
> </target>
>
I am not convinced this will have much effect. the first pushd is in one
instance of the shell, the popd is in a second instance .
It is like having two windows open, typing pushd in one and then going popd
in the other;
-steve
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
