From cddb70cd6227eb7192dd752e6bd994052e80aab3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Torma=20Krist=C3=B3f?= <tormakristof@tormakristof.eu>
Date: Sat, 4 May 2019 19:18:36 +0200
Subject: [PATCH] Update benchmark.sh

---
 benchmark/benchmark.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/benchmark/benchmark.sh b/benchmark/benchmark.sh
index eb433e7..a40f0c1 100644
--- a/benchmark/benchmark.sh
+++ b/benchmark/benchmark.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #Requirements:
 #<function name without dashes>.wrk descriptor file for wrk
 #<function name without dashes>.body (even if you don't need it)