Index: driver/Makefile.in
===================================================================
--- driver/Makefile.in	(revision 107b01a853d2fa7848b6015136777f62881c1779)
+++ driver/Makefile.in	(revision 6dbeef78b56e5d179cf0a9d2ee1f991e73dde4a4)
@@ -187,5 +187,4 @@
 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
 ACLOCAL = @ACLOCAL@
-ALLOCA = @ALLOCA@
 AMTAR = @AMTAR@
 AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@