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 /install_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 'install_debug.sh')
| -rwxr-xr-x | install_debug.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |