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 /compile_release.sh | |
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.
Diffstat (limited to 'compile_release.sh')
-rwxr-xr-x | compile_release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |