For "things that should not happen" and that might indeed propagate yuck further into the system, I prefer a brittle approach to stop THAT path ASAP and log it well and get it fixed.
Maybe allow other unrelated things to continue per "make -k" though, since we'd probably like to get as much as possible done anyway, safely.