diff options
author | Eike Stepper | 2013-08-22 15:25:33 +0000 |
---|---|---|
committer | Eike Stepper | 2013-08-27 06:46:41 +0000 |
commit | a2d8084a95446aa76f7123fbfc3ba9e882657da1 (patch) | |
tree | 168d43b1b6eda2bb2c180db2410da7fd97faf1c9 /plugins/org.eclipse.emf.cdo.releng/local.properties.template | |
parent | a9332bc71f9015685d4aaa7a5e95d031dd5c2101 (diff) | |
download | cdo-a2d8084a95446aa76f7123fbfc3ba9e882657da1.tar.gz cdo-a2d8084a95446aa76f7123fbfc3ba9e882657da1.tar.xz cdo-a2d8084a95446aa76f7123fbfc3ba9e882657da1.zip |
Make the build runnable locally
Diffstat (limited to 'plugins/org.eclipse.emf.cdo.releng/local.properties.template')
-rw-r--r-- | plugins/org.eclipse.emf.cdo.releng/local.properties.template | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/plugins/org.eclipse.emf.cdo.releng/local.properties.template b/plugins/org.eclipse.emf.cdo.releng/local.properties.template new file mode 100644 index 0000000000..75f888348f --- /dev/null +++ b/plugins/org.eclipse.emf.cdo.releng/local.properties.template @@ -0,0 +1,42 @@ +# Copyright (c) 2013 Eike Stepper (Berlin, Germany) and others. +# All rights reserved. This program and the accompanying materials +# are made available under the terms of the Eclipse Public License v1.0 +# which accompanies this distribution, and is available at +# http://www.eclipse.org/legal/epl-v10.html +# +# Contributors: +# Eike Stepper - initial API and implementation + +jarprocessor.dir = C:/Program Files/Java/jdk1.6.0_41/bin +bundlepool.dir = C:/develop/.p2pool-tp +original.git.dir = C:/develop/cdo/master/git/cdo +baseline.dir = C:/develop/cdo/.baselines/4.2 +build.root = C:/develop/cdo/master/build + +build.type = N +p2.mirrors = true +loglevel = INFO + +# Set the following properties to true to speed up repeated builds +keep.tools = true +keep.git = true +keep.tp = true + +skip.provision = false +skip.build = false + +skip.generate = false +skip.generate.site = false +skip.generate.help = true +skip.generate.index = true +skip.generate.bookmarks = true +skip.generate.dropins = true +skip.generate.api = true + +skip.generate.products = false +skip.generate.products.server = true +skip.generate.products.explorer = true +skip.generate.products.setup = false +skip.generate.products.windows = false +skip.generate.products.linux = true +skip.generate.products.macos = true |