make fails to continue if interrupted. #790

New issue

2023-09-05T03:33:38Z

ober commented

2023-09-05 03:33:38 +00:00

(Migrated from github.com)

If you have a build that fails, or is interrupted, it can't be continued with make as it just exits.

If you have a build that fails, or is interrupted, it can't be continued with `make` as it just exits.

vyzo commented

2023-09-05 05:05:07 +00:00

(Migrated from github.com)

the exit behavior of the makefile comes because the build directory now exists, so you need to make clean and start over.

Not ideal, but not sure how to make this interrupt restartable.

Maybe @drewc has some ideas.

the exit behavior of the makefile comes because the build directory now exists, so you need to make clean and start over. Not ideal, but not sure how to make this interrupt restartable. Maybe @drewc has some ideas.

fare commented

2023-09-10 19:54:24 +00:00

(Migrated from github.com)

Is it not "just" a matter of using mkdir -p and otherwise making build steps idempotent? Which step fails?

vyzo commented

2023-09-10 20:01:47 +00:00

(Migrated from github.com)

we could track which phased finished by touching a file in the build dir, and the makefile needs to do it in stages triggered by the stage file.
that's the easiest way to restart, but the granularity is coarse.

we could track which phased finished by touching a file in the build dir, and the makefile needs to do it in stages triggered by the stage file. that's the easiest way to restart, but the granularity is coarse.

vyzo commented

2023-09-22 11:53:50 +00:00

(Migrated from github.com)

So the build.sh script has been greatly enhanced to do staged building and debug.

This is no longer a burning issue, just a UX mishap.

So the `build.sh` script has been greatly enhanced to do staged building and debug. This is no longer a burning issue, just a UX mishap.

Sign in to join this conversation.