| OLD | NEW | 
|   1 #!/bin/sh |   1 #!/bin/sh | 
|   2  |   2  | 
|   3 tools_dir=$(dirname "$0") |   3 tools_dir=$(dirname "$0") | 
|   4  |   4  | 
|   5 if [ "$1" != "--no-build" ] |   5 if [ "$1" != "--no-build" ] | 
|   6 then |   6 then | 
|   7   scons -C $tools_dir/.. d8 |   7   scons -C $tools_dir/.. d8 | 
|   8 else |   8 else | 
|   9   shift |   9   shift | 
|  10 fi |  10 fi | 
|  11  |  11  | 
|  12 # nm spits out 'no symbols found' messages on stderr |  12 # nm spits out 'no symbols found' messages on stderr | 
|  13 $tools_dir/../d8 $tools_dir/splaytree.js $tools_dir/codemap.js \ |  13 $tools_dir/../d8 $tools_dir/splaytree.js $tools_dir/codemap.js \ | 
|  14   $tools_dir/csvparser.js $tools_dir/consarray.js \ |  14   $tools_dir/csvparser.js $tools_dir/consarray.js \ | 
|  15   $tools_dir/profile.js $tools_dir/profileview.js \ |  15   $tools_dir/profile.js $tools_dir/profile_view.js \ | 
|  16   $tools_dir/tickprocessor.js -- $@ 2>/dev/null |  16   $tools_dir/tickprocessor.js -- $@ 2>/dev/null | 
| OLD | NEW |