Re: [PATCH] Add post-init hook.

2018-04-05 Thread Chris Johns
On 05/04/2018 23:29, Christian Mauderer wrote: > --- > rtems.py | 7 ++- > 1 file changed, 6 insertions(+), 1 deletion(-) > > diff --git a/rtems.py b/rtems.py > index b2e3285..0882c74 100644 > --- a/rtems.py > +++ b/rtems.py > @@ -67,7 +67,7 @@ def options(opt): > dest = '

[PATCH] Add post-init hook.

2018-04-05 Thread Christian Mauderer
--- rtems.py | 7 ++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/rtems.py b/rtems.py index b2e3285..0882c74 100644 --- a/rtems.py +++ b/rtems.py @@ -67,7 +67,7 @@ def options(opt): dest = 'show_commands', help = 'Print the commands as s