Re: [PATCH v2] Add post-init hook.

2018-04-05 Thread Christian Mauderer
Just noted: I should have changed the commit message. Please take a look at V3 instead. ___ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel

[PATCH v2] Add post-init hook.

2018-04-05 Thread Christian Mauderer
--- rtems.py | 9 +++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/rtems.py b/rtems.py index be44edc..713066d 100644 --- a/rtems.py +++ b/rtems.py @@ -69,7 +69,7 @@ def options(opt): dest = 'show_commands', help = 'Print the commands a