fix: makefile for bench
authorMax Voit <max.voit+gtdv@with-eyes.net>
Wed, 12 Aug 2015 11:55:06 +0000 (13:55 +0200)
committerMax Voit <max.voit+gtdv@with-eyes.net>
Wed, 12 Aug 2015 11:55:06 +0000 (13:55 +0200)
makefile

index 8fd811c..391c520 100644 (file)
--- a/makefile
+++ b/makefile
@@ -8,7 +8,7 @@ bench:
        cabal clean
        cabal configure --enable-benchmarks -f-debug
        cabal build
-       mkdir benresults
+       [ -d benchresults ] || mkdir benchresults
        cabal bench | tee -a benchresults/`git rev-parse HEAD`-`date -I`.bench
 
 clean-all-state: