Changeset 3428

Show
Ignore:
Timestamp:
12/05/11 15:38:24
Author:
douglm
Message:

Allow spec of alternate repository

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • releases/bedework-3.8/build/buildTools/getJar.xml

    r3363 r3428  
    123123            <else> 
    124124              <!-- Not offline - check repository --> 
    125               <noisyMsg message="Fetch ${org.bedework.getjar.jarname} from archive" /> 
    126               <get src="@{src}/${org.bedework.getjar.jarname}" 
    127                    dest="@{libcache}/${org.bedework.getjar.jarname}" 
    128                    ignoreerrors="true" 
    129                    verbose="${org.bedework.getjar.noisy}" 
    130                    usetimestamp="true"/> 
     125              <if> 
     126                <isset property="org.bedework.jar.repository.location" /> 
     127                <then> 
     128                  <!-- user specified --> 
     129                  <echo message="Fetch ${org.bedework.getjar.jarname} from archive ${org.bedework.jar.repository.location}" /> 
     130                  <noisyMsg message="Fetch ${org.bedework.getjar.jarname} from archive '${org.bedework.jar.repository.location}'" /> 
     131                  <get src="${org.bedework.jar.repository.location}/${org.bedework.getjar.jarname}" 
     132                       dest="@{libcache}/${org.bedework.getjar.jarname}" 
     133                       ignoreerrors="true" 
     134                       verbose="${org.bedework.getjar.noisy}" 
     135                       usetimestamp="true"/> 
     136                </then> 
     137                <else> 
     138                      <noisyMsg message="Fetch ${org.bedework.getjar.jarname} from archive @{src}" /> 
     139                      <get src="@{src}/${org.bedework.getjar.jarname}" 
     140                           dest="@{libcache}/${org.bedework.getjar.jarname}" 
     141                           ignoreerrors="true" 
     142                           verbose="${org.bedework.getjar.noisy}" 
     143                           usetimestamp="true"/> 
     144                </else> 
     145              </if> 
    131146            </else> 
    132147          </if>