chiark / gitweb /
Merge multiprocessor support; fix up Makefile runes