| # This is just a default value, you should set the build.home when you trigger builds | |
| # which will overwrite this value | |
| build.home=/home/build-home | |
| mapVersionTag=HEAD | |
| buildType=I | |
| build.distribution=wtp | |
| cvsUser=ndai | |
| cvsProtocol=ext | |
| build.trial=false | |
| build.drivers=downloads | |
| localDrivers=drivers | |
| baseos=linux | |
| basews=gtk | |
| basearch=x86 | |
| build.clean=true | |
| build.localpublish.dir=${build.home}/publish |