include local.make so compilers can set CHECK_SOURCE

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 2601bbaae4f2f937fe230c1c59eb47faf571deda..97e44e642a24c4ac77286eb5220d4bc958deecab 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -32,6 +32,11 @@ INSTALLATION_FILES=$(config_make) VERSION
 STEPMAKE_TEMPLATES=toplevel po install
 include $(depth)/make/stepmake.make
 
+#
+# Set
+# CHECK_SOURCE=
+-include local.make
+
 local-dist: dist-toplevel-txt-files dist-changelog
 
 dist-changelog: