diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/profile b/tools/profile index 0ccef6c26c..f02f1b5057 100755 --- a/tools/profile +++ b/tools/profile @@ -13,6 +13,7 @@ Gem.source_index require 'benchmark' module RequireProfiler + private def require(file, *args) RequireProfiler.profile(file) { super } end def load(file, *args) RequireProfiler.profile(file) { super } end |