tree 6685bd5acfd1a3172dcd30421f0cc70ceceaa111
parent 3506c46d5b92d166c287a5df858cfd3943440f34
author hsyed <h.a.syed@gmail.com> 1533914868 +0100
committer Hassan Syed <h.a.syed@gmail.com> 1534075118 +0100

fine tune compilation output logging and some other cherries