equal
deleted
inserted
replaced
62 dist.dir=${output.dir}/dist |
62 dist.dir=${output.dir}/dist |
63 dist.lib.dir=${dist.dir}/lib |
63 dist.lib.dir=${dist.dir}/lib |
64 dist.classes.jar=${dist.lib.dir}/classes.jar |
64 dist.classes.jar=${dist.lib.dir}/classes.jar |
65 dist.src.zip=${dist.lib.dir}/src.zip |
65 dist.src.zip=${dist.lib.dir}/src.zip |
66 |
66 |
67 # Where all drop sources live |
67 # Where all drop sources get placed when downloaded and unzipped |
68 drop.dir=./drop |
68 drop.expanded.dir=${output.dir}/drop |
|
69 |
|
70 # Location if the sources were included already |
|
71 drop.included.dir=./drop_included |
69 |
72 |
70 # Where patches to drop bundle sources live |
73 # Where patches to drop bundle sources live |
71 patches.dir=patches |
74 patches.dir=patches |
72 |
|
73 # Original source area |
|
74 orig.dir=src |
|
75 orig.src.dir=${orig.dir}/share/classes |
|
76 |
75 |
77 # Sanity information |
76 # Sanity information |
78 sanity.info= Sanity Settings:${line.separator}\ |
77 sanity.info= Sanity Settings:${line.separator}\ |
79 ant.home=${ant.home}${line.separator}\ |
78 ant.home=${ant.home}${line.separator}\ |
80 ant.version=${ant.version}${line.separator}\ |
79 ant.version=${ant.version}${line.separator}\ |