diff --git a/Makefile b/Makefile index 54b270c23..57cd27c98 100644 --- a/Makefile +++ b/Makefile @@ -69,7 +69,8 @@ clean-dist: .PHONY: check check: pyenv buildhash - @. pyenv/bin/activate && \ + @set -e && \ + . pyenv/bin/activate && \ $(SUBMAKE) -C rspy develop && \ $(SUBMAKE) -C pylib develop && \ for dir in $(CHECKABLE); do \