aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-07-05 14:19:53 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-07-05 14:19:53 +0200
commit96b4e8e308441a2b5c92492e76a2655f04ea1195 (patch)
tree1f984a598aaa94488a6d753bf75046a68ab793cd
parente8ab7c08f14f8424ef26100ca28586d9f18bc52a (diff)
Add backlink to generated options parsing code
-rw-r--r--build2/buildfile5
1 files changed, 5 insertions, 0 deletions
diff --git a/build2/buildfile b/build2/buildfile
index d207996..396fcf4 100644
--- a/build2/buildfile
+++ b/build2/buildfile
@@ -56,4 +56,9 @@ if $cli.configured
#
cli.cxx{*}: dist = true
cli.cxx{*}: clean = ($src_root != $out_root)
+
+ # We keep the generated code in the repository so copy it back to src in
+ # case of a forwarded configuration.
+ #
+ cli.cxx{*}: backlink = overwrite
}