Adds optional '-logprefix' command line option to drcov#3510

Merged

derekbruening merged 3 commits intoDynamoRIO:masterfrom gaasedelen:master

Apr 6, 2019

+13-2

Commits on Apr 4, 2019

adds optional '-logprefix' command line option to drcov
gaasedelen
committed

Commits on Apr 5, 2019

comply with clang formatting checks
gaasedelen
committed

Commits on Apr 6, 2019

Adds mention of new -logprefix option to changelog
gaasedelen
committed