From ec10cc62dd023e9388d0f8880d968cd6d1ecfc7f Mon Sep 17 00:00:00 2001 From: David Phillips Date: Thu, 27 Jul 2017 14:18:52 +1200 Subject: Change from sh to bash for pushd --- test/run-tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/run-tests.sh b/test/run-tests.sh index 07647dd..f24ac73 100755 --- a/test/run-tests.sh +++ b/test/run-tests.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash fail() -- cgit v1.1