diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-08-27 20:18:05 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-08-27 21:30:23 +0200 |
| commit | c91e3116f40f9d7867cda8952408b1eb182b87bf (patch) | |
| tree | 360c2b73bdaa0c68514b878665abff5d2b99566c /tools | |
| parent | 04aa6fa8cd08546e8ae6257db60174ad6d7e3689 (diff) | |
| download | systemd-c91e3116f40f9d7867cda8952408b1eb182b87bf.tar.gz | |
update-dbus-docs: add hint
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/update-dbus-docs.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/update-dbus-docs.py b/tools/update-dbus-docs.py index 0bbc4aab45..3500d9ce5e 100755 --- a/tools/update-dbus-docs.py +++ b/tools/update-dbus-docs.py @@ -308,4 +308,5 @@ if __name__ == '__main__': print(f'{p:{mlen + 1}} {t - m}/{t} {c}') if opts.test and outdated: - exit(f'Outdated pages: {", ".join(outdated)}') + exit(f'Outdated pages: {", ".join(outdated)}\n' + f'Hint: ninja -C {opts.build_dir} man/update-dbus-docs') |