diff options
author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2017-02-13 14:36:21 +0000 |
---|---|---|
committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2017-02-13 14:36:21 +0000 |
commit | d0828fb9c20be5923abc6138cca3dfa02f4ed5f7 (patch) | |
tree | cbabdeeea9c1ea8105604529a9a1b9b1a31997ba | |
parent | 2b7ac6ec2413e12e1a18b11df5270c2c9f5f9975 (diff) | |
parent | 111bf59e8ee454973df17ce9686566ee0d9cd03a (diff) | |
download | ouroboros-d0828fb9c20be5923abc6138cca3dfa02f4ed5f7.tar.gz ouroboros-d0828fb9c20be5923abc6138cca3dfa02f4ed5f7.zip |
Merged in sandervrijders/ouroboros/be-install-scripts (pull request #373)
build: Make install scripts OS agnostic
-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 |