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 /install_debug.sh | |
| 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
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 |