On Wed, Aug 5, 2020 at 10:34 AM Chris Johns wrote:
>
> On 5/8/20 1:52 am, Vijay Kumar Banerjee wrote:
> > Hi Chris,
> >
> > Is this patch OK to push to the master?
>
> Yes, please push. I am sorry about the slow review.
>
Thanks for the review. Pushed.
> Thanks
> Chris
__
On 5/8/20 1:52 am, Vijay Kumar Banerjee wrote:
> Hi Chris,
>
> Is this patch OK to push to the master?
Yes, please push. I am sorry about the slow review.
Thanks
Chris
___
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
Hi Chris,
Is this patch OK to push to the master?
On Thu, Jul 30, 2020 at 3:51 PM Vijay Kumar Banerjee wrote:
>
> ---
> wscript | 5 -
> 1 file changed, 4 insertions(+), 1 deletion(-)
>
> diff --git a/wscript b/wscript
> index 3ca9478e..74fc1f48 100644
> --- a/wscript
> +++ b/wscript
> @@ -
---
wscript | 5 -
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/wscript b/wscript
index 3ca9478e..74fc1f48 100644
--- a/wscript
+++ b/wscript
@@ -151,7 +151,7 @@ def bsp_init(ctx, env, contexts):
# Transform the commands to per build variant commands
commands = []