summaryrefslogtreecommitdiff
path: root/README-DEV
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 /README-DEV
parent11454bf17ab8951d0a07dc432a8838339ca1416e (diff)
Update README-DEV
Diffstat (limited to '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