@@ -2,6 +2,7 @@ version?=$(shell grep '^[Vv]ersion:' pandoc.cabal | awk '{print $$2;}')
22pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1)
33SOURCEFILES?=$(shell git ls-tree -r master --name-only | grep "\.hs$$")
44BRANCH?=master
5+COMMIT=$(shell git rev-parse --short HEAD)
56GHCOPTS=-fdiagnostics-color=always
67WEBSITE=../../web/pandoc.org
78REVISION?=1
@@ -38,7 +39,7 @@ ghcid:
3839 ghcid -c "stack repl --flag 'pandoc:embed_data_files'"
3940
4041bench:
41− stack bench --benchmark-arguments='$(BENCHARGS)' --ghc-options '$(GHCOPTS)'
42+ stack bench --benchmark-arguments='$(BENCHARGS) --csv bench-$(COMMIT).csv' --ghc-options '$(GHCOPTS)'
4243
4344weigh:
4445 stack build --ghc-options '$(GHCOPTS)' pandoc:weigh-pandoc && stack exec weigh-pandoc