Both these patches are fine to push. Vijay, please push once your access has been sorted out.
I should highlight I am OK with the approach taken in the examples repo, that is not building something if the dependent tool is not found rather than raising an error. Thanks Chris On 18/3/20 8:43 pm, Vijay Kumar Banerjee wrote: > --- > rtems_waf | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/rtems_waf b/rtems_waf > index e7a75df..ad08908 160000 > --- a/rtems_waf > +++ b/rtems_waf > @@ -1 +1 @@ > -Subproject commit e7a75df6531beec1c1b0d18fcaf2cfce7693920c > +Subproject commit ad08908c452c6a9bbb3bf7bbbcc9fc03fe46cc7f > _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel