# Configuration Makefile fragment # Cater for local configuration changes-include Makefile.config.override