Index: tools/oprofile/common |
diff --git a/tools/oprofile/common b/tools/oprofile/common |
deleted file mode 100755 |
index fd00207ab0ec729b69e56901625b538e476b93ab..0000000000000000000000000000000000000000 |
--- a/tools/oprofile/common |
+++ /dev/null |
@@ -1,19 +0,0 @@ |
-#!/bin/sh |
- |
-# Determine the session directory to use for oprofile. |
-[ "$OPROFILE_SESSION_DIR" ] || OPROFILE_SESSION_DIR=/tmp/oprofv8 |
- |
-# If no executable passed as the first parameter assume V8 release mode shell. |
-if [[ -x $1 ]] |
-then |
- shell_exec=`readlink -f "$1"` |
- # Any additional parameters are for the oprofile command. |
- shift |
-else |
- oprofile_tools_path=`cd $(dirname "$0");pwd` |
- [ "$V8_SHELL_DIR" ] || V8_SHELL_DIR=$oprofile_tools_path/../.. |
- shell_exec=$V8_SHELL_DIR/shell |
-fi |
- |
-alias sudo_opcontrol='sudo opcontrol --session-dir="$OPROFILE_SESSION_DIR"' |
- |