Index: src/driver/Makefile.in
===================================================================
--- src/driver/Makefile.in	(revision 4acc87f8992a48c7a2c6ad8c1b15df583278b169)
+++ src/driver/Makefile.in	(revision 6e3ae004ea8f9a1e1cca1b0bc7eaf3fa1943d6e5)
@@ -196,7 +196,7 @@
 	  esac; \
 	done; \
-	echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign src/driver/Makefile'; \
+	echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu src/driver/Makefile'; \
 	$(am__cd) $(top_srcdir) && \
-	  $(AUTOMAKE) --foreign src/driver/Makefile
+	  $(AUTOMAKE) --gnu src/driver/Makefile
 .PRECIOUS: Makefile
 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status