ant

Windowsのantでproxyを越える方法

java ant

ダブルクォートが要らない点に注意。 >set ANT_OPTS=-Dhttp.proxyHost=proxy.host -Dhttp.proxyPort=8080 -Dhttp.proxyUser=user -Dhttp.proxyPassword >ant xxxx