diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2012-08-16 20:23:03 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2012-08-16 20:23:03 -0700 |
| commit | fa99793540716514d46ebd6d5018fa8deed4ef62 (patch) | |
| tree | fd02e5e8b7c931cc5f6196eb028384cbb5389d1f | |
| parent | c7bd034fa8359e2c3f584cfc23cd1fd8deaab8c0 (diff) | |
| download | pandoc-fa99793540716514d46ebd6d5018fa8deed4ef62.tar.gz | |
Removed stats.sh.
| -rwxr-xr-x | stats.sh | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/stats.sh b/stats.sh deleted file mode 100755 index 3bb168e89..000000000 --- a/stats.sh +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/sh - -# Generates statistics on pandoc: benchmarks and lines of code -# The stats are put in the stats directory, marked with date and revision hash. - -STATSDIR=stats -mkdir $STATSDIR - -DATE=`date +%Y_%m_%d` -REV=`git rev-parse --short HEAD` - -EXT=$DATE.$REV -BENCH=$STATSDIR/benchmark.$EXT -LOC=$STATSDIR/loc.$EXT -SUMMARY=$STATSDIR/summary.$EXT - -runghc Benchmark.hs > $BENCH -find src -name '*.hs' | xargs wc -l > $LOC - -LOCSUM=`tail -1 $LOC | sed -Ee 's/^ *([0-9]+).*/\1/'` - -echo "Revision $REV" > $SUMMARY -echo `date` >> $SUMMARY -echo "$LOCSUM lines of code" >> $SUMMARY -echo "" >> $SUMMARY - -sed -nEe '/^(benchmarking|mean:)/p' $BENCH | \ - sed -Ee '/benchmarking/N;s/\n/: /' | \ - sed -Ee 's/benchmarking (.*)/\1/' | \ - sed -Ee 's/mean: ([^ ]*) *([^,]*).*/\1:\2/' | \ - awk 'BEGIN { FS = ": *" } ; { printf("%s:%7.2f %s\n", $1, $2, $3); }' | \ - column -t -s ":" >> $SUMMARY - |