diff options
| author | lns <matzeton@googlemail.com> | 2022-05-30 00:32:31 +0200 |
|---|---|---|
| committer | lns <matzeton@googlemail.com> | 2022-05-30 19:22:22 +0200 |
| commit | fd5fa116f29d76269d90da78b6efa8cb2d6e6c07 (patch) | |
| tree | 2192065ba2b96d7a93c8e3768093388604ee32f8 /tests/dga/Makefile.in | |
| parent | 912b69af60ce2408341fa440374195330fe46439 (diff) | |
Updated README.mdimproved/readme-and-autotools-int
* make check great again (not so much)
* make doc/doc-view
* CI updates
Signed-off-by: lns <matzeton@googlemail.com>
Diffstat (limited to 'tests/dga/Makefile.in')
| -rw-r--r-- | tests/dga/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tests/dga/Makefile.in b/tests/dga/Makefile.in index efa8b188b..4bd6711bc 100644 --- a/tests/dga/Makefile.in +++ b/tests/dga/Makefile.in @@ -36,6 +36,8 @@ install: distdir: - distclean: clean /bin/rm -f Makefile + +check: + true # nothing to do here, done by invoking tests/do-dga.sh |