From 4d1059b046283e784150ae6fd40f92c0791bade7 Mon Sep 17 00:00:00 2001
From: James Earl Douglas <james@earldouglas.com>
Date: Sun, 12 Nov 2017 10:22:15 -0700
Subject: [PATCH] Use a more portable shebang

Since the *bash* binary is [not always located in */bin*][0], the *leon*
script doesn't always run.

This change makes the script more portable, so leon will run on more
systems.

[0]: https://stackoverflow.com/questions/21612980
---
 build.sbt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build.sbt b/build.sbt
index d725f57e8..99b1a6434 100644
--- a/build.sbt
+++ b/build.sbt
@@ -102,7 +102,9 @@ script := {
       s.log.info("Generating '"+f.getName+"' script ("+(if(is64) "64b" else "32b")+")...")
     }
     val paths = (res.getAbsolutePath +: out.getAbsolutePath +: cps.map(_.data.absolutePath)).mkString(System.getProperty("path.separator"))
-    IO.write(f, s"""|#!/bin/bash --posix
+    IO.write(f, s"""|#!/usr/bin/env bash
+                    |
+                    | set -o posix
                     |
                     |SCALACLASSPATH="$paths"
                     |