diff options
| author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2019-04-23 00:06:30 +0100 |
|---|---|---|
| committer | Anders Broman <a.broman58@gmail.com> | 2019-04-23 04:12:44 +0000 |
| commit | cd41d4d96f306d9a533b17fe767c2ae3c7401540 (patch) | |
| tree | f4381014ab32231ca77277482f54361984aae9a6 /tools/make-plugin-reg.py | |
| parent | 603569d159489d89d5078db497181b4f3a85d0f5 (diff) | |
plugins: Make build status output less redundant
Instead of repeated lines of
[1771/2272] Generating plugin.c
Updating plugin.c
actually output the name of the target plugin.
Change-Id: Iacabd5a1ddaf2820276355bf3c7a9357652e8f3d
Reviewed-on: https://code.wireshark.org/review/32951
Reviewed-by: João Valverde <j@v6e.pt>
Petri-Dish: João Valverde <j@v6e.pt>
Tested-by: Petri Dish Buildbot
Reviewed-by: Anders Broman <a.broman58@gmail.com>
Diffstat (limited to 'tools/make-plugin-reg.py')
| -rwxr-xr-x | tools/make-plugin-reg.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/make-plugin-reg.py b/tools/make-plugin-reg.py index 66b465673a..edb07c0e5b 100755 --- a/tools/make-plugin-reg.py +++ b/tools/make-plugin-reg.py @@ -162,10 +162,10 @@ if registertype == "plugin_codec": reg_code += "}\n" try: - print(('Updating ' + final_filename)) fh = open(final_filename, 'w') fh.write(reg_code) fh.close() + print('Generated {} for {}.'.format(final_filename, os.path.basename(srcdir))) except OSError: sys.exit('Unable to write ' + final_filename + '.\n') |