Harald Jensås d691ee05e5 Add ports statistics to tools/benchmark scripts
Update the scripts in tools/benchmark to enable benchmarking
ports as well.

Change-Id: Ida42e8b7c483d905dbc4226d695f35aca77a8722
2022-11-18 15:55:25 +01:00
..
2021-02-11 11:52:51 +13:00
2021-06-14 17:02:54 +00:00
2018-07-21 17:19:17 -04:00
2013-05-07 16:47:55 -07:00