diff options
| author | acolyer <acolyer> | 2003-10-10 08:27:22 +0000 |
|---|---|---|
| committer | acolyer <acolyer> | 2003-10-10 08:27:22 +0000 |
| commit | e61ed8aa64db1705c7b20104447ba8cb3857f9d0 (patch) | |
| tree | 143e12661e481ba8577fc24d83b579e59a27d9e6 | |
| parent | 92743cef2052073e900a1c97255e6b6d75261f44 (diff) | |
| download | aspectj-e61ed8aa64db1705c7b20104447ba8cb3857f9d0.tar.gz aspectj-e61ed8aa64db1705c7b20104447ba8cb3857f9d0.zip | |
Tweaked test-doc-links target for running behind a proxy server. Now
accepts new properties proxy.host and proxy.port.
| -rw-r--r-- | build/release/build.xml | 22 |
1 files changed, 15 insertions, 7 deletions
diff --git a/build/release/build.xml b/build/release/build.xml index e34ee0b04..0e18d4f28 100644 --- a/build/release/build.xml +++ b/build/release/build.xml @@ -62,6 +62,11 @@ aspectj.modules.dir ... for existing cvs tree aj.build.install.dir ... for installed dist + -- if running behind a proxy server (currently only + necessary for successful completion of test-doc-links target) + proxy.host name of proxy host + proxy.port proxy port number + Example command lines for using this script: - define variable for standard properties @@ -423,14 +428,15 @@ </delete> <property name="xmlSrcDir" location="${aspectj.tests.dir}/bin/junitXmlOutput"/> - <move todir="${tjm.copy.todir}" > - <fileset dir="${xmlSrcDir}" includes="**/*"/> - </move> - </target> + pe="file"/> - <target name="test-doc-links" - depends="init-aspectj-available,init-harness-available" - description="run link check against distribution"> + </target> + + <target name="init-sources-available" depends="init-variables" + unless="sources.available"> + <available property="sources.available" + file="${aspectj.modules.dir}/build/build.xml"/> + <fail unlesagainst distribution"> <antcall target="do-java13-setup"/> <property file="${java.home.file}"/> <fail unless="build.java.home" @@ -459,6 +465,8 @@ <arg value="-printInfo"/> <arg value="-log"/> <arg value="${doclink.output.file}-messages.txt"/> + <sysproperty key="http.proxyHost" value="${proxy.host}"/> + <sysproperty key="http.proxyPort" value="${proxy.port}"/> </java> </target> |