Closed mchalupa closed 9 years ago
--benchmarks=/.../2015/... is nice clue what year is to be used, so giving --year= is not necessary. Of course if there will be more years or --year is given with different year, it is not applicable (write out a warning)
241b4e19021ffcc2662cccaee6ca264ae01327b3
--benchmarks=/.../2015/... is nice clue what year is to be used, so giving --year= is not necessary. Of course if there will be more years or --year is given with different year, it is not applicable (write out a warning)