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_debug.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_debug.sh')
-rwxr-xr-x | compile_debug.sh | 2 |
1 files changed, 1 insertions, 1 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 |