make --profile take an argument to use either gmon or google-pprof
authorEvan Martin <martine@danga.com>
Tue, 6 Sep 2011 18:51:50 +0000 (11:51 -0700)
committerEvan Martin <martine@danga.com>
Tue, 6 Sep 2011 18:52:32 +0000 (11:52 -0700)
commit5d697b9fae48c3c0add1644eddd3f0002ec722c4
tree1a183d4f59a02ef9296502a82eaabef697c8c231
parente292718907a60c464dbe471ccdc7014731a4b6a2
make --profile take an argument to use either gmon or google-pprof
configure.py