diff options
author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2017-02-13 15:18:45 +0100 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2017-02-13 15:18:45 +0100 |
commit | 111bf59e8ee454973df17ce9686566ee0d9cd03a (patch) | |
tree | 00387675543c0c6eef80329d3f2475acac0a8bdd | |
parent | d26df9b9fd1dd50ed9c26518fcecfe2af7ca4868 (diff) | |
download | ouroboros-111bf59e8ee454973df17ce9686566ee0d9cd03a.tar.gz ouroboros-111bf59e8ee454973df17ce9686566ee0d9cd03a.zip |
build: Make install scripts OS agnostic
This makes the install scripts OS agnostic, since env is used to call
bash, which just uses looks for bash in the path.
-rwxr-xr-x | compile_debug.sh | 2 | ||||
-rwxr-xr-x | compile_release.sh | 2 | ||||
-rwxr-xr-x | install_debug.sh | 2 | ||||
-rwxr-xr-x | install_release.sh | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/compile_debug.sh b/compile_debug.sh index 3ea1e039..3ecab3c0 100755 --- a/compile_debug.sh +++ b/compile_debug.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ME=compile_debug diff --git a/compile_release.sh b/compile_release.sh index 58a16e52..e7e65ecc 100755 --- a/compile_release.sh +++ b/compile_release.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ME=compile_release diff --git a/install_debug.sh b/install_debug.sh index dacb7cd2..8f39be00 100755 --- a/install_debug.sh +++ b/install_debug.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash BUILDDIR=build DEBUGDIR=debug diff --git a/install_release.sh b/install_release.sh index f5d08bb5..5bd56a42 100755 --- a/install_release.sh +++ b/install_release.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ME=install_release |