| Index: tools/linux-tick-processor
 | 
| diff --git a/tools/linux-tick-processor b/tools/linux-tick-processor
 | 
| index c1a98e9da97132f04ecf0ed7931b7c227e5559ea..0ad295f141eca930a4dfb876c9c3cc80e7cf73fd 100755
 | 
| --- a/tools/linux-tick-processor
 | 
| +++ b/tools/linux-tick-processor
 | 
| @@ -12,5 +12,5 @@ fi
 | 
|  # nm spits out 'no symbols found' messages on stderr
 | 
|  $tools_dir/../d8 $tools_dir/splaytree.js $tools_dir/codemap.js \
 | 
|    $tools_dir/csvparser.js $tools_dir/consarray.js \
 | 
| -  $tools_dir/profile.js $tools_dir/profileview.js \
 | 
| +  $tools_dir/profile.js $tools_dir/profile_view.js \
 | 
|    $tools_dir/tickprocessor.js -- $@ 2>/dev/null
 | 
| 
 |