diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-07-05 14:19:53 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-07-05 14:19:53 +0200 |
| commit | 96b4e8e308441a2b5c92492e76a2655f04ea1195 (patch) | |
| tree | 1f984a598aaa94488a6d753bf75046a68ab793cd | |
| parent | e8ab7c08f14f8424ef26100ca28586d9f18bc52a (diff) | |
Add backlink to generated options parsing code
| -rw-r--r-- | build2/buildfile | 5 |
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 } |