diff --git a/compatMakefile b/compatMakefile index e3657cf4..d5907fc5 100644 --- a/compatMakefile +++ b/compatMakefile @@ -188,8 +188,6 @@ glob-clean glob-realclean: Makefile: config.status $(srcdir)/Makefile.in $(SHELL) config.status -config.status: $(srcdir)/configure - $(SHELL) $(srcdir)/configure # Automatically generated dependencies will be put at the end of the file.