From d9063bbf8e9b8dcd686dcc802c1782ef0ae740fd Mon Sep 17 00:00:00 2001
From: "J. Ryan Stinnett" <jryans@gmail.com>
Date: Mon, 11 Mar 2019 18:23:07 +0000
Subject: [PATCH] Maybe bash instead of dash

---
 scripts/travis/install-deps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/travis/install-deps.sh b/scripts/travis/install-deps.sh
index 9b3292c69c..6484ebab29 100755
--- a/scripts/travis/install-deps.sh
+++ b/scripts/travis/install-deps.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -ex