live-bootstrap/.github/workflows
Gábor Stefanik 81e3123262 Rename tmpdir to target and always preserve it, dropping --preserve
There is nothing temporary about our "tmpdir" - its sole purpose is to
contain the final product of the bootstrap process. Thus, removing it
at the end of bootstrap amounts to doing the entire process for nothing.

To remedy this, --tmpdir is renamed --target, keeping the -t short form,
and defaulting to "target" instead of "tmp" to make its purpose clearer.
The --preserve option is removed, as the target is now always preserved.
2023-12-26 16:34:04 +01:00
..
bwrap.yml Rename tmpdir to target and always preserve it, dropping --preserve 2023-12-26 16:34:04 +01:00
lint.yml Rename tmpdir to target and always preserve it, dropping --preserve 2023-12-26 16:34:04 +01:00