From 77d38c9f8a1ae1a678d49bd93f79792202cdcd23 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 28 May 2019 16:13:07 +0200
Subject: use /usr/bin/env bash

---
 test/monniaux/generate_makefiles.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/monniaux/generate_makefiles.sh b/test/monniaux/generate_makefiles.sh
index 1c05538f..ecbbdf4d 100755
--- a/test/monniaux/generate_makefiles.sh
+++ b/test/monniaux/generate_makefiles.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/bash
+#!/usr/bin/env bash
 
 source benches.sh
 
-- 
cgit