diff options
| author | Jacob Bachmeyer <jcb62281+dev@gmail.com> | 2020-06-17 18:08:57 -0500 |
|---|---|---|
| committer | Jacob Bachmeyer <jcb62281+dev@gmail.com> | 2020-06-17 18:08:57 -0500 |
| commit | c5b21f1f1cfaabf1431010c314aadcc0b7b708f0 (patch) | |
| tree | 8318189e0992ad9a8136458b4dae5aa080fb0ee1 /Makefile.in | |
| parent | 5fafcd43b2d22b2227e62f7278584418c6449824 (diff) | |
Allow testing to continue after an undefined command is called
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 1cd211c..bc9d1e5 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 = options-init.exp stats-init.exp +CLEANFILES = abort-init.exp options-init.exp stats-init.exp bin_SCRIPTS = dejagnu runtest include_HEADERS = dejagnu.h pkgdata_DATA = \ |