diff options
author | Jacob Bachmeyer <jcb62281+dev@gmail.com> | 2020-06-26 20:31:13 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb62281+dev@gmail.com> | 2020-06-26 20:31:13 -0500 |
commit | a149ae3e95dd7a7ec6f7f4bbda64994cffa9e37b (patch) | |
tree | e89b796418bab076bec6f509170698b441ea9846 /Makefile.in | |
parent | 2c7ae2526ba1e297adb2c013c6ddb5dfaea09f9d (diff) |
Withdraw proposed --keep_going and --no_keep_going options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
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 = \ |