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 /example/Makefile.in | |
| 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 'example/Makefile.in')
| -rw-r--r-- | example/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/example/Makefile.in b/example/Makefile.in index 370eb2b2f..4e14ca9be 100644 --- a/example/Makefile.in +++ b/example/Makefile.in @@ -74,6 +74,9 @@ dpdk: $(MAKE) -f Makefile.dpdk check: + true # nothing to do here + +cppcheck: cppcheck --template='{file}:{line}:{severity}:{message}' --quiet --enable=all --force -I$(SRCHOME)/include *.c clean: |