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 /rrdtool | |
| 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 'rrdtool')
| -rw-r--r-- | rrdtool/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rrdtool/Makefile.in b/rrdtool/Makefile.in index fe585cfa0..228d28eff 100644 --- a/rrdtool/Makefile.in +++ b/rrdtool/Makefile.in @@ -26,3 +26,6 @@ distdir: install: @echo -n "" + +check: + true # nothing to do here |