Update benchmark.sh

2019-05-04 19:18:36 +02:00
parent ade6ef6ed6
commit cddb70cd62
1 changed files with 1 additions and 1 deletions
--- 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)