From 0fe46a6d17bf608548b8b4fe612e929eb96d9a5b Mon Sep 17 00:00:00 2001
From: "John J. Camilleri" <john@digitalgrammars.com>
Date: Fri, 10 Aug 2018 08:33:01 +0200
Subject: [PATCH] Change shebang to /bin/bash

---
 Make.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Make.sh b/Make.sh
index 30a8bfc8..fc66ffcd 100755
--- a/Make.sh
+++ b/Make.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # ---
 # Non-Haskell RGL build script for Unix-based machines