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 |