From a149ae3e95dd7a7ec6f7f4bbda64994cffa9e37b Mon Sep 17 00:00:00 2001 From: Jacob Bachmeyer Date: Fri, 26 Jun 2020 20:31:13 -0500 Subject: Withdraw proposed --keep_going and --no_keep_going options --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.in') diff --git a/Makefile.in b/Makefile.in index bc9d1e5..bebc03d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -381,7 +381,7 @@ EXTRA_DIST = ChangeLog-1992 MAINTAINERS dejagnu runtest \ $(commands_DATA) $(TESTSUITE_FILES) $(TEXINFO_TEX)\ $(CONTRIB) -CLEANFILES = abort-init.exp options-init.exp stats-init.exp +CLEANFILES = error-init.exp options-init.exp stats-init.exp bin_SCRIPTS = dejagnu runtest include_HEADERS = dejagnu.h pkgdata_DATA = \ -- cgit v1.2.3