mirror of https://github.com/lukechilds/node.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
17 lines
387 B
17 lines
387 B
16 years ago
|
#!/bin/sh
|
||
|
|
|
||
|
|
tools_dir=$(dirname "$0")
|
||
|
|
|
||
|
|
if [ "$1" != "--no-build" ]
|
||
|
|
then
|
||
|
|
scons -C $tools_dir/.. d8
|
||
|
|
else
|
||
|
|
shift
|
||
|
|
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/profile_view.js \
|
||
|
|
$tools_dir/tickprocessor.js -- $@ 2>/dev/null
|