| # Where all the output should go |
| buckminster.output.root=${user.home}/tmp/emfparsley/buckminster.output |
| # Where the temp files should go |
| buckminster.temp.root=${user.home}/tmp/emfparsley/buckminster.temp |
| |
| # How .qualifier in versions should be replaced |
| # time of the last modified resource |
| # qualifier.replacement.*=generator:lastModified |
| # generator.lastModified.format='v'yyyyMMdd-HHmm |
| # alternative: get the build timestamp instead of time of last modified resource |
| qualifier.replacement.*=generator:buildTimestamp |
| generator.buildTimestamp.format='v'yyyyMMdd-HHmm |
| # it is better to use the timestamp otherwise we might get the same qualifier |
| # replacement if a plugin is not changed in the repository |
| |
| # alternative: get the build timestamp instead of time of last modified resource |
| # qualifier.replacement.*=generator:buildTimestamp |
| # generator.buildTimestamp.format='v'yyyyMMdd-HHmm |
| |
| target.os=* |
| target.ws=* |
| target.arch=* |