From 9a32554983bc0acbd465d030a66669e64ee760dd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henryk=20Pl=C3=B6tz?= Date: Fri, 3 Oct 2014 20:44:33 +0200 Subject: Use /bin/bash. This is a bash shell script, it should say so. /bin/sh is not always a bash. --- run-tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run-tests.sh b/run-tests.sh index 2303045..95b5b14 100755 --- a/run-tests.sh +++ b/run-tests.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # (C) 2012 Peter Conrad -- cgit v1.2.3