diff options
| author | Reinier Zwitserloot <reinier@zwitserloot.com> | 2018-03-11 16:57:22 +0100 |
|---|---|---|
| committer | Reinier Zwitserloot <reinier@zwitserloot.com> | 2018-03-11 16:57:22 +0100 |
| commit | 2f1a26b6069d6d75729a971be20d45f0fc5fefcc (patch) | |
| tree | 54d04577522105782dbd63560403f5d27c0af2fc /buildScripts/supporters.ant.xml | |
| parent | cc55391a7544b0ce0cc37b8aa628dc8f9a46db49 (diff) | |
| download | lombok-2f1a26b6069d6d75729a971be20d45f0fc5fefcc.tar.gz lombok-2f1a26b6069d6d75729a971be20d45f0fc5fefcc.tar.bz2 lombok-2f1a26b6069d6d75729a971be20d45f0fc5fefcc.zip | |
[website] added supporters infrastructure.
Diffstat (limited to 'buildScripts/supporters.ant.xml')
| -rw-r--r-- | buildScripts/supporters.ant.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/buildScripts/supporters.ant.xml b/buildScripts/supporters.ant.xml index d19e0bb6..d1d3fedc 100644 --- a/buildScripts/supporters.ant.xml +++ b/buildScripts/supporters.ant.xml @@ -39,11 +39,11 @@ containing the status of lombok's supporters. <target name="initRepo" depends="checkIfRepoExists" unless="supportersrepo.exists"> <git:git directory="website/lombokSupporters"> - <git:clone uri="escudo:/data/git/lombokSupporters.git" /> + <git:clone uri="escudo2:/data/git/lombokSupporters.git" /> </git:git> </target> - <target name="updateRepo" depends="initRepo"> + <target name="updateRepo" depends="initRepo" unless="noUpdateRepo"> <git:git directory="website/lombokSupporters"> <git:pull /> </git:git> |