Makefile: Maintain generated configuration under `$(LOCAL)'.
[distorted-chroot] / bin / install-cross-tools
2019-09-11 Mark WoodingMore work in progress.