Re: [PATCH rtems_waf v2 1/2] rtems: Add uninstall option to the list of commands

Pushed. Thanks Chris On 25/7/20 1:14 am, Vijay Kumar Banerjee wrote: > --- > rtems.py | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/rtems.py b/rtems.py > index ceabcd9..067a213 100644 > --- a/rtems.py > +++ b/rtems.py > @@ -131,7 +131,7 @@ def init(ctx, filters = None

[PATCH rtems_waf v2 1/2] rtems: Add uninstall option to the list of commands

--- rtems.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rtems.py b/rtems.py index ceabcd9..067a213 100644 --- a/rtems.py +++ b/rtems.py @@ -131,7 +131,7 @@ def init(ctx, filters = None, version = None, long_commands = False, bsp_init = # commands = []