Rename PROFILE= to COVERAGE=.
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Fri, 12 Oct 2012 22:02:31 +0000 (00:02 +0200)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Fri, 12 Oct 2012 22:02:31 +0000 (00:02 +0200)
commit1bd28ba3c43338724457bd2cfeb3c15c33347d39
tree13e32ff8ce8cfc293499a4c2f97600b39bf131c7
parent2a6eec294c44a1de3693f227f26218b7c88ff0aa
Rename PROFILE= to COVERAGE=.
Makefile