X-Git-Url: http://wamblee.org/gitweb/?a=blobdiff_plain;f=build%2Fheader.xml;h=df55a859ef4eb327a19cb794aaafeff8e53ded85;hb=3f8bac1dddf4c9bf27c8314735467da0555f2259;hp=ff7ce1be975213f7f7694f4ce7d722fa23b2034e;hpb=843fadabbebb32b83f4db1d27a1c60e3354b8c19;p=utils diff --git a/build/header.xml b/build/header.xml index ff7ce1be..df55a859 100644 --- a/build/header.xml +++ b/build/header.xml @@ -14,6 +14,12 @@ + + + + + + @@ -68,6 +74,14 @@ + + + + + + + + @@ -76,6 +90,10 @@ + + + + @@ -129,6 +147,24 @@ + + + + + + + + + + + + + + + + + + @@ -547,6 +583,9 @@ Preparation: + To execute with a specific proxy host and port, start ant with the + command-line options -Dproxyhost=hostname -Dproxyport=portnumber. + deps: Download dependencies, this is necessary for using any of the build targets. clean-deps: Remove downloaded dependencies.