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 /src/lib/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 'src/lib/Makefile.in')
| -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 |