search

mongoose-os / mos

The Mongoose OS Command Line Tool - https://mongoose-os.com/docs/mongoose-os/quickstart/setup.md
Other
45 stars 31 forks source link

Preserve build directory until results are available #77

Open plinss opened 1 year ago

plinss commented 1 year ago

Fixes #73

This is an alternative approach to PR #75, rather than never delete the build directory so that the build target, context name, and stat can be read, this defers the removal and recreation of the build dir until build results are available. Incremental builds still work but the build dir is fully cleaned each time. This also preserves previous build output if the build server can't be reached.

Full builds can be achieved by manually deleting the build dir before the build, I can also add a flag to pre-delete the build dir and force a full build if desired.

plinss commented 1 year ago

If either this or #75 is accepted, please close the other (or I can).