Revision: 21338
Author: [email protected]
Date: Fri May 16 13:04:45 2014 UTC
Log: Make plot shell script nicer.
[email protected]
Review URL: https://codereview.chromium.org/284283005
http://code.google.com/p/v8/source/detail?r=21338
Modified:
/branches/bleeding_edge/tools/plot-timer-events
=======================================
--- /branches/bleeding_edge/tools/plot-timer-events Wed Sep 4 15:19:21
2013 UTC
+++ /branches/bleeding_edge/tools/plot-timer-events Fri May 16 13:04:45
2014 UTC
@@ -10,29 +10,43 @@
done
tools_path=`cd $(dirname "$0");pwd`
-if [ ! "$D8_PATH" ]; then
+if test ! "$D8_PATH"; then
d8_public=`which d8`
- if [ -x "$d8_public" ]; then D8_PATH=$(dirname "$d8_public"); fi
+ if test -x "$d8_public"; then D8_PATH=$(dirname "$d8_public"); fi
fi
-[ -n "$D8_PATH" ] || D8_PATH=$tools_path/..
+
+if test -n "$D8_PATH"; then
+ D8_PATH=$tools_path/..
+fi
+
d8_exec=$D8_PATH/d8
-if [ ! -x "$d8_exec" ]; then
+if test ! -x "$d8_exec"; then
D8_PATH=`pwd`/out/native
d8_exec=$D8_PATH/d8
fi
-if [ ! -x "$d8_exec" ]; then
+if test ! -x "$d8_exec"; then
d8_exec=`grep -m 1 -o '".*/d8"' $log_file | sed 's/"//g'`
fi
-if [ ! -x "$d8_exec" ]; then
+if test ! -x "$d8_exec"; then
echo "d8 shell not found in $D8_PATH"
echo "To build, execute 'make native' from the V8 directory"
exit 1
fi
-if [[ "$@" != *--distortion* ]]; then
+
+contains=0;
+for arg in "$@"; do
+ `echo "$arg" | grep -q "^--distortion"`
+ if test $? -eq 0; then
+ contains=1
+ break
+ fi
+done
+
+if test "$contains" -eq 0; then
# Try to find out how much the instrumentation overhead is.
calibration_log=calibration.log
calibration_script="for (var i = 0; i < 1000000; i++) print();"
@@ -70,7 +84,7 @@
-- $@ $options 2>/dev/null > timer-events.plot
success=$?
-if [[ $success != 0 ]] ; then
+if test $success -ne 0; then
cat timer-events.plot
else
cat timer-events.plot | gnuplot > timer-events.png
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
