From 16947224a2ced1d1a8767996388feb9ad2a46ebd Mon Sep 17 00:00:00 2001
From: windrammer <31085911+likeawindrammer@users.noreply.github.com>
Date: Sat, 20 Jul 2019 16:13:52 -0600
Subject: [PATCH] Change the shebang of configure_ubuntu.sh from sh to bash
 because the script it's using the bash only variable BASH_SOURCE

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

diff --git a/scripts/configure_ubuntu.sh b/scripts/configure_ubuntu.sh
index 159dc4d..1f9b8e8 100755
--- a/scripts/configure_ubuntu.sh
+++ b/scripts/configure_ubuntu.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Assumes a somewhat recent 64-bit ubuntu