diff options
| author |   Bernhard M. Wiedemann <bwiedemann@suse.de> | 2018-10-03 01:16:19 +0200 |
|---|---|---|
| committer | Bernhard M. Wiedemann <bwiedemann@suse.de> | 2018-10-03 01:16:19 +0200 |
| commit | 76e2cccf18d9acf119c34968c6be52cc3afb0f84 (patch) | |
| tree | 5fcc461123d8d50dfcf42a0d0b49a156d7563851 /extras | |
| parent | 88076749e663e35925c2212eb79e2ec4ce023772 (diff) | |
jvppgen: update headers
headers of generated files should correctly tell
about where it cames from to not confuse readers.
Change-Id: If667fa4aab188978156982adf3fa13474bd93e9e
Signed-off-by: Bernhard M. Wiedemann <bwiedemann@suse.de>
Diffstat (limited to 'extras')
| -rwxr-xr-x | extras/japi/java/jvpp/gen/jvppgen/callback_gen.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/japi/java/jvpp/gen/jvppgen/callback_gen.py b/extras/japi/java/jvpp/gen/jvppgen/callback_gen.py index 14aa8b760a5..b1ad2013372 100755 --- a/extras/japi/java/jvpp/gen/jvppgen/callback_gen.py +++ b/extras/japi/java/jvpp/gen/jvppgen/callback_gen.py @@ -54,7 +54,7 @@ _CALLBACK_TEMPLATE = Template("""package $plugin_package.callback; /** * <p>Represents callback for plugin's api message. - * <br>It was generated by jvpp_callback_gen.py based on $json_filename. + * <br>It was generated by jvppgen/callback_gen.py based on $json_filename. */ public interface ${name}Callback extends io.fd.vpp.jvpp.callback.JVppCallback { @@ -66,7 +66,7 @@ _GLOBAL_CALLBACK_TEMPLATE = Template("""package $plugin_package.callback; /** * <p>Global aggregated callback interface. - * <br>It was generated by jvpp_callback_gen.py based on $json_filename. + * <br>It was generated by jvppgen/callback_gen.py based on $json_filename. */ public interface JVpp${plugin_name}GlobalCallback extends io.fd.vpp.jvpp.callback.ControlPingCallback, $callbacks { } |