diff options
Diffstat (limited to 'tools/check_loading')
| -rwxr-xr-x | tools/check_loading | 6 | 
1 files changed, 3 insertions, 3 deletions
| diff --git a/tools/check_loading b/tools/check_loading index 0d082ed..5cd31dd 100755 --- a/tools/check_loading +++ b/tools/check_loading @@ -30,7 +30,7 @@ function each () {  RUBY=/usr/bin/ruby  time each  echo -RUBY=/opt/ruby1.8/bin/ruby -time each -echo +# RUBY=/opt/ruby1.8/bin/ruby +# time each +# echo  # | 
