diff options
Diffstat (limited to 'cli/buildfile')
-rw-r--r-- | cli/buildfile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cli/buildfile b/cli/buildfile index 19d9eba..e1792d3 100644 --- a/cli/buildfile +++ b/cli/buildfile @@ -28,4 +28,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 } |