tree 6096efa87fa07ab8e50bafce1955704a6dd04972
parent b1ef7935cb49531cdeda0184b80f51eb6dea9e36
author Matteo Scandolo <matteo.scandolo@gmail.com> 1635872947 -0700
committer Matteo Scandolo <matteo.scandolo@gmail.com> 1635880243 -0700

Using robot to count lines instead of wc -l

This change is applied only where needed, not when the grep will exclude any useful information that is hidden by the wc -l

Change-Id: Ic8f1f9e37070ba4c2c514874a1d8e02c7cf83846