| 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 |