From 94311c3a8f5ddcf16dce313d3ddf5d7433d57e42 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 24 May 2017 10:34:39 +0200
Subject: coq_makefile: use -include rather than include

This fixes bedrock and eliminates warnings.
Thanks Jason Gross for debugging this!
---
 tools/CoqMakefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in
index fdcd2ed794..5231899c6e 100644
--- a/tools/CoqMakefile.in
+++ b/tools/CoqMakefile.in
@@ -526,10 +526,10 @@ $(GHTMLFILES): %.g.html: %.v %.glob
 # Dependency files ############################################################
 
 ifneq ($(filter-out archclean clean cleanall printenv,$(MAKECMDGOALS)),)
- include $(ALLDFILES)
+ -include $(ALLDFILES)
 else
  ifeq ($(MAKECMDGOALS),)
-  include $(ALLDFILES)
+  -include $(ALLDFILES)
  endif
 endif
 
-- 
cgit v1.2.3