# Configuration makefile fragment

# Local configuration changes
-include Makefile.config.override