OLD | NEW |
1 #!/bin/sh | 1 #!/bin/sh |
2 | 2 |
3 tools_path=`cd $(dirname "$0");pwd` | 3 tools_path=`cd $(dirname "$0");pwd` |
4 if [ ! "$D8_PATH" ]; then | 4 if [ ! "$D8_PATH" ]; then |
5 d8_public=`which d8` | 5 d8_public=`which d8` |
6 if [ $d8_public ]; then D8_PATH=$(dirname "$d8_public"); fi | 6 if [ -x $d8_public ]; then D8_PATH=$(dirname "$d8_public"); fi |
7 fi | 7 fi |
8 [ "$D8_PATH" ] || D8_PATH=$tools_path/.. | 8 [ "$D8_PATH" ] || D8_PATH=$tools_path/.. |
9 d8_exec=$D8_PATH/d8 | 9 d8_exec=$D8_PATH/d8 |
10 | 10 |
11 if [ "$1" == "--no-build" ]; then | 11 if [ "$1" = "--no-build" ]; then |
12 shift | 12 shift |
13 else | 13 else |
14 # compile d8 if it doesn't exist, assuming this script | 14 # compile d8 if it doesn't exist, assuming this script |
15 # resides in the repository. | 15 # resides in the repository. |
16 [ -x $d8_exec ] || scons -j4 -C $D8_PATH -Y $tools_path/.. d8 | 16 [ -x $d8_exec ] || scons -j4 -C $D8_PATH -Y $tools_path/.. d8 |
17 fi | 17 fi |
18 | 18 |
| 19 |
19 # find the name of the log file to process, it must not start with a dash. | 20 # find the name of the log file to process, it must not start with a dash. |
20 log_file="v8.log" | 21 log_file="v8.log" |
21 for arg in "$@" | 22 for arg in "$@" |
22 do | 23 do |
23 if [[ "${arg}" != -* ]]; then | 24 if ! expr "X${arg}" : "^X-" > /dev/null; then |
24 log_file=${arg} | 25 log_file=${arg} |
25 fi | 26 fi |
26 done | 27 done |
27 | 28 |
| 29 |
28 # nm spits out 'no symbols found' messages to stderr. | 30 # nm spits out 'no symbols found' messages to stderr. |
29 cat $log_file | $d8_exec $tools_path/splaytree.js $tools_path/codemap.js \ | 31 cat $log_file | $d8_exec $tools_path/splaytree.js $tools_path/codemap.js \ |
30 $tools_path/csvparser.js $tools_path/consarray.js \ | 32 $tools_path/csvparser.js $tools_path/consarray.js \ |
31 $tools_path/profile.js $tools_path/profile_view.js \ | 33 $tools_path/profile.js $tools_path/profile_view.js \ |
32 $tools_path/logreader.js $tools_path/tickprocessor.js \ | 34 $tools_path/logreader.js $tools_path/tickprocessor.js \ |
33 $tools_path/tickprocessor-driver.js -- $@ 2>/dev/null | 35 $tools_path/tickprocessor-driver.js -- $@ 2>/dev/null |
OLD | NEW |