aboutsummaryrefslogtreecommitdiffstats
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* Rename tools/profile_requires -> tools/profile since we do both require and r...Jeremy Kemper2009-05-271-0/+0
* Clean up tools/profile_requires a bitJeremy Kemper2009-05-211-33/+27
* Simple examples for require profilingJeremy Kemper2009-05-131-2/+2
* Preserve orderingJeremy Kemper2009-05-131-2/+8
* Tool for profiling resource usage in each require call.Jeremy Kemper2009-05-071-0/+75