From d02582869fa6c13c8223ae78bb2877e6ae31a23b Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Fri, 11 May 2018 16:03:14 +0200
Subject: Fix non-portable shebang in test-suite.

---
 test-suite/misc/coqc_dash_o.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/misc')

diff --git a/test-suite/misc/coqc_dash_o.sh b/test-suite/misc/coqc_dash_o.sh
index f303214b9..0ae7873fd 100755
--- a/test-suite/misc/coqc_dash_o.sh
+++ b/test-suite/misc/coqc_dash_o.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 DOUT=misc/tmp_coqc_dash_o/
 OUT=${DOUT}coqc_dash_o.vo
-- 
cgit v1.2.3