tree 3c1eab5bd15530156764b927c121b230bdf90dd6
parent 5f77922b42a6b67ef587ce2826f897bbb5269330
author Kareem Farid <karimmhany@gmail.com> 1670447203 +0200
committer Kareem Farid <karimmhany@gmail.com> 1670447214 +0200

timing scripts usage:

rename summary.rpt to summary.log
change the search directory
add -j3 to standalone make targets