gensrc needs to be present only when we are merging the sources
authorJaroslav Tulach <jtulach@netbeans.org>
Sat, 20 Jun 2009 22:21:50 +0200
changeset 1249cf9b143bfaf9
parent 1248 63da26e35f11
child 1250 7d9cedc2c758
child 1257 393046bdec90
gensrc needs to be present only when we are merging the sources
build.xml
     1.1 --- a/build.xml	Sat Jun 20 22:11:08 2009 +0200
     1.2 +++ b/build.xml	Sat Jun 20 22:21:50 2009 +0200
     1.3 @@ -14,16 +14,24 @@
     1.4      <fail message="You need to provide location of plugs">
     1.5          <condition><not><available file="${plugs}/jre/lib/rt-closed.jar"/></not></condition>
     1.6      </fail>
     1.7 -    <pathconvert property="gensrc">
     1.8 -        <path><dirset dir="../build"><include name="*/gensrc"/></dirset></path>
     1.9 -    </pathconvert>
    1.10 -    <fail message="You need to provide location of JDK's generated sources via -Dgensrc=...">
    1.11 -        <condition><not><available file="${gensrc}"/></not></condition>
    1.12 -    </fail>
    1.13  
    1.14      <target name="merge-sources"
    1.15          description="Copies sources from all over the JDK tree into one place"
    1.16      >
    1.17 +        <pathconvert property="gensrc">
    1.18 +            <path>
    1.19 +                <dirset dir="../build">
    1.20 +                    <include name="*/gensrc"/>
    1.21 +                </dirset>
    1.22 +            </path>
    1.23 +        </pathconvert>
    1.24 +        <fail message="You need to provide location of JDK's generated sources via -Dgensrc=...">
    1.25 +            <condition>
    1.26 +                <not>
    1.27 +                    <available file="${gensrc}"/>
    1.28 +                </not>
    1.29 +            </condition>
    1.30 +        </fail>
    1.31          <mkdir dir="build/sources"/>
    1.32          <copy todir="build/sources">
    1.33              <fileset dir="${gensrc}"/>