| OLD | NEW |
| 1 #!/bin/bash | 1 #!/usr/bin/env bash |
| 2 # | 2 # |
| 3 # Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 3 # Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| 4 # for details. All rights reserved. Use of this source code is governed by a | 4 # for details. All rights reserved. Use of this source code is governed by a |
| 5 # BSD-style license that can be found in the LICENSE file. | 5 # BSD-style license that can be found in the LICENSE file. |
| 6 | 6 |
| 7 # Wrapper that runs a given Dart VM over the benchmarks with --verbose_gc | 7 # Wrapper that runs a given Dart VM over the benchmarks with --verbose_gc |
| 8 # and uses the verbose_gc_to_bmu script to produce a gallery of BMU graphs. | 8 # and uses the verbose_gc_to_bmu script to produce a gallery of BMU graphs. |
| 9 | 9 |
| 10 if [ "$#" -ne 3 ] | 10 if [ "$#" -ne 3 ] |
| 11 then | 11 then |
| (...skipping 17 matching lines...) Expand all Loading... |
| 29 for NAME in `ls $BENCH_DIR` | 29 for NAME in `ls $BENCH_DIR` |
| 30 do | 30 do |
| 31 $DART_BIN --verbose_gc $BENCH_DIR/$NAME/dart/$NAME.dart 2> $TMP.gclog && | 31 $DART_BIN --verbose_gc $BENCH_DIR/$NAME/dart/$NAME.dart 2> $TMP.gclog && |
| 32 $DART_BIN $VERBOSE_GC_TO_BMU < $TMP.gclog > $TMP.dat && | 32 $DART_BIN $VERBOSE_GC_TO_BMU < $TMP.gclog > $TMP.dat && |
| 33 gnuplot -e "set term png; set output '$TMP.png'; set title '$NAME'; set ylab
el 'BMU'; set xlabel 'Window size (ms)'; unset key; set yr [0:1]; set logscale x
; plot '$TMP.dat' with linespoints" && | 33 gnuplot -e "set term png; set output '$TMP.png'; set title '$NAME'; set ylab
el 'BMU'; set xlabel 'Window size (ms)'; unset key; set yr [0:1]; set logscale x
; plot '$TMP.dat' with linespoints" && |
| 34 mv -f $TMP.png $OUT_DIR/$NAME.png && | 34 mv -f $TMP.png $OUT_DIR/$NAME.png && |
| 35 mv -f $TMP.gclog $OUT_DIR/$NAME.txt && | 35 mv -f $TMP.gclog $OUT_DIR/$NAME.txt && |
| 36 echo "<a href='$NAME.txt'><img src='$NAME.png'></a>" >> $INDEX_FILE | 36 echo "<a href='$NAME.txt'><img src='$NAME.png'></a>" >> $INDEX_FILE |
| 37 done | 37 done |
| 38 echo "</body></html>" >> $INDEX_FILE | 38 echo "</body></html>" >> $INDEX_FILE |
| OLD | NEW |