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 1856) |
+++ editor/tools/features/com.google.dart.tools.deploy.feature_releng/build-settings/user.properties (working copy) |
@@ -1,5 +1,5 @@ |
-# The root of the Dart Editor source tree. |
-build.source = ${user.home}/projects/dart/dart/editor |
+# The root of the Dart Editor source tree |
+build.source = ../../../../editor |
# The primary build directory under which other directories are created. |
build.root = ${user.home}/build-dart |