Get rid of warning about not being able to create an existing directory.

diff --git a/Makefile.pre.in b/Makefile.pre.in
index 0972411447caf671633b99147280a3eceeb8fce5..7dfa73820b77b9ece0b55cb0ab20698affa075f7 100644 (file)
--- a/Makefile.pre.in
+++ b/Makefile.pre.in
@@ -475,7 +475,7 @@ Modules/python.o: $(srcdir)/Modules/python.c
 
 
 $(GRAMMAR_H) $(GRAMMAR_C): $(PGEN) $(GRAMMAR_INPUT)
-               -@ mkdir Include
+               -@$(INSTALL) -d Include
                -$(PGEN) $(GRAMMAR_INPUT) $(GRAMMAR_H) $(GRAMMAR_C)
 
 $(PGEN):       $(PGENOBJS)