Hi,
Nice change, I have pushed this.
Chris
On 17/3/20 8:52 pm, Vijay Kumar Banerjee wrote:
> ---
> rtems.py | 9 +
> 1 file changed, 5 insertions(+), 4 deletions(-)
>
> diff --git a/rtems.py b/rtems.py
> index 6dd71b1..ceabcd9 100644
> --- a/rtems.py
> +++ b/rtems.py
> @@ -479,10 +479,
---
rtems.py | 9 +
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/rtems.py b/rtems.py
index 6dd71b1..ceabcd9 100644
--- a/rtems.py
+++ b/rtems.py
@@ -479,10 +479,11 @@ def check_options(ctx, prefix, rtems_tools, rtems_path,
rtems_version, rtems_arc
return rtems_vers