From 92792dbdffc499d63ef772c97d0c73477be6007e Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sat, 27 May 2017 02:57:08 +0200
Subject: Use specific shell for more robustness.

---
 test-suite/coq-makefile/plugin2/run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/coq-makefile/plugin2')

diff --git a/test-suite/coq-makefile/plugin2/run.sh b/test-suite/coq-makefile/plugin2/run.sh
index 684e0ece82..8094ae20c1 100755
--- a/test-suite/coq-makefile/plugin2/run.sh
+++ b/test-suite/coq-makefile/plugin2/run.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 #set -x
 set -e
-- 
cgit v1.2.3