summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2019-05-15 22:00:21 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2019-05-15 22:00:21 +0300
commitb50b831574e4653d5f50d898db8a4b30f7054a00 (patch)
treee51dac0a690355c7d312bb7846650c4627cc2b21
parent11454bf17ab8951d0a07dc432a8838339ca1416e (diff)
Update README-DEV
-rw-r--r--README-DEV4
1 files changed, 3 insertions, 1 deletions
diff --git a/README-DEV b/README-DEV
index 9c05759..da4a9bb 100644
--- a/README-DEV
+++ b/README-DEV
@@ -17,7 +17,9 @@ need to make sure that packages do not share upstream source files via
subdirectory symlinks, not to also share the related intermediate files. If
several packages need to compile the same upstream source file, then only one
of them can symlink it via the parent directory while others must symlink it
-directly.
+directly. We also add the `ignore = untracked` configuration option into
+.gitmodules to make sure that git ignores the intermediate build files under
+upstream/ subdirectory.
The upstream package can be configured to contain a specific feature set. We
reproduce the union of features configured for the upstream source package in