1  @pushd %~dp0
 2  
 3  @set arg=%1
 4  @set orig=%arg:devserver:integration=devserver%
 5  
 6  if %arg% == %orig% (
 7     java -cp "ant\ant.jar;ant\ant-launcher.jar" org.apache.tools.ant.launch.Launcher %*
 8  ) else (
 9     shift
10     java -cp "ant\ant.jar;ant\ant-launcher.jar" org.apache.tools.ant.launch.Launcher %orig% %*
11  )
12  
13  @popd