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 /src | |
| 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 'src')
| -rw-r--r-- | src/lib/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/lib/Makefile.in b/src/lib/Makefile.in index cd8ec0db4..c7cc22283 100644 --- a/src/lib/Makefile.in +++ b/src/lib/Makefile.in @@ -85,6 +85,9 @@ distdir: distclean: clean /bin/rm -f Makefile +check: + true # nothing to do here + cppcheck: cppcheck --template='{file}:{line}:{severity}:{message}' --quiet --enable=all --force -I ../include *.c protocols/*.c |