diff options
| author | Toni <matzeton@googlemail.com> | 2022-05-30 19:48:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-30 19:48:05 +0200 |
| commit | 00ee364a7e0a0cdbf5d5323889f6e2fd9a84cd61 (patch) | |
| tree | 6b57e865c53eeec3b5e4f1e96eebabc373490b29 /tests/unit | |
| parent | ca115774c9d735dc48a241682efded272011c009 (diff) | |
Updated README.md (#1562)
* make check great again (not so much)
* make doc/doc-view
* CI updates
Signed-off-by: lns <matzeton@googlemail.com>
Diffstat (limited to 'tests/unit')
| -rw-r--r-- | tests/unit/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tests/unit/Makefile.in b/tests/unit/Makefile.in index e1d13328e..36f8bec3e 100644 --- a/tests/unit/Makefile.in +++ b/tests/unit/Makefile.in @@ -60,6 +60,8 @@ install: distdir: - distclean: clean /bin/rm -f Makefile + +check: + true # nothing to do here, done by invoking tests/do-unit.sh |