chiark / gitweb /
Makefile: Set config options from mode-specific make variables.