tox.ini, build/bin/write-dockerfile.sh: Do not use "make -k" by default

[mkoeppe]

... only set it in the GH Actions workflows by setting MAKE or USE_MAKEFLAGS.

This will make it less surprising for manual use.

Before merging this, we need to remember to update ci-sage.yml of upstream packages!

CC: @jhpalmieri

Component: porting

Author: Matthias Koeppe

Branch/Commit: u/mkoeppe/tox_ini__build_bin_write_dockerfile_sh__do_not_use__make__k__by_default @ 4aede69

Issue created by migration from https://trac.sagemath.org/ticket/31574

[mkoeppe]

Dependencies: #31521

[mkoeppe]

Changed dependencies from #31521 to none

[mkoeppe]

Branch: u/mkoeppe/tox_ini__build_bin_write_dockerfile_sh__do_not_use__make__k__by_default

[mkoeppe]

comment:5

As a wishlist item (noted in #29146), for uniformity perhaps we can use environment variable MAKE for docker builds as well, instead of asking users to pass the USE_MAKEFLAGS variable.

---

New commits:

ba13cd0	.github/workflows/ci-cygwin-*.yml: Use 'make -k' explicitly
3df8fc9	.github/workflows/tox*.yml: Give the main workflow step a name so it looks nicer on GH Actions
cf41b79	.github/workflows/tox-*.yml: Use 'make -k' explicitly
11fc6a1	.github/workflows/ci-wsl.yml: Use 'make -k' explicitly
4aede69	tox.ini, build/bin/write-dockerfile.sh: Do not use 'make -k' by default

[mkoeppe]

Commit: 4aede69

[mkoeppe]

Author: Matthias Koeppe