diff options
| -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 } |