Index: tools/eval_gc_time.sh |
diff --git a/tools/eval_gc_time.sh b/tools/eval_gc_time.sh |
index ceb4db54cb4606796c83b8a8983169526f56c9ac..36083ba77f43b5877985cd4bdaf3cd5e5fbe4676 100755 |
--- a/tools/eval_gc_time.sh |
+++ b/tools/eval_gc_time.sh |
@@ -17,6 +17,7 @@ print_usage_and_die() { |
echo " -c|--csv provide csv output" |
echo " -f|--file FILE profile input in a file" |
echo " (default: stdin)" |
+ echo " -p|--percentiles comma separated percentiles" |
exit 1 |
} |
@@ -25,6 +26,7 @@ RANK_MODE=max |
TOP_LEVEL=no |
CSV="" |
LOGFILE=/dev/stdin |
+PERCENTILES="" |
while [[ $# -ge 1 ]] |
do |
@@ -60,6 +62,10 @@ do |
LOGFILE=$2 |
shift |
;; |
+ -f|--percentiles) |
+ PERCENTILES="--percentiles=$2" |
+ shift |
+ ;; |
*) |
break |
;; |
@@ -145,6 +151,7 @@ case $OP in |
--no-histogram \ |
--rank $RANK_MODE \ |
$CSV \ |
+ $PERCENTILES \ |
${INTERESTING_NEW_GEN_KEYS} |
;; |
old-gen-rank) |
@@ -153,6 +160,7 @@ case $OP in |
--no-histogram \ |
--rank $RANK_MODE \ |
$CSV \ |
+ $PERCENTILES \ |
${INTERESTING_OLD_GEN_KEYS} |
;; |
*) |