Index: editor/tools/features/com.google.dart.tools.deploy.feature_releng/build-settings/user.properties |
=================================================================== |
--- editor/tools/features/com.google.dart.tools.deploy.feature_releng/build-settings/user.properties (revision 0) |
+++ editor/tools/features/com.google.dart.tools.deploy.feature_releng/build-settings/user.properties (revision 0) |
@@ -0,0 +1,5 @@ |
+# The root of the Dart Editor source tree. |
+build.source = ${user.home}/projects/dart/dart/editor |
+ |
+# The primary build directory under which other directories are created. |
+build.root = ${user.home}/build-dart |