chiark / gitweb /
Makefile: fail, if submake fails