# The make-config.sh script uses information about the target machine
# to set things up for compilation. It's vaguely like a stripped-down
# The make-config.sh script uses information about the target machine
# to set things up for compilation. It's vaguely like a stripped-down