From 6f2a897df232466dad4bed94ee9989f68bea91e1 Mon Sep 17 00:00:00 2001
From: gobwas <gobwas@gmail.com>
Date: Wed, 6 Feb 2019 23:48:06 +0300
Subject: [PATCH] tune bench script

---
 bench.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/bench.sh b/bench.sh
index 804cf22..c6e7de3 100755
--- a/bench.sh
+++ b/bench.sh
@@ -1,7 +1,10 @@
 #! /bin/bash
 
 bench() {
-    filename="/tmp/$1-$2.bench"
+    if [[ -z $2 ]]; then
+    	$2 = ".*"
+    fi
+    filename="/tmp/$1.bench"
     if test -e "${filename}";
     then
         echo "Already exists ${filename}"
@@ -23,4 +26,4 @@ current=`git rev-parse --abbrev-ref HEAD`
 bench ${to} $2
 bench ${current} $2
 
-benchcmp $3 "/tmp/${to}-$2.bench" "/tmp/${current}-$2.bench"
+benchcmp $3 "/tmp/${to}.bench" "/tmp/${current}.bench"