summaryrefslogtreecommitdiff
path: root/install_debug.sh
diff options
context:
space:
mode:
authorSander Vrijders <sander.vrijders@intec.ugent.be>2017-02-13 14:36:21 +0000
committerdimitri staessens <dimitri.staessens@intec.ugent.be>2017-02-13 14:36:21 +0000
commitd0828fb9c20be5923abc6138cca3dfa02f4ed5f7 (patch)
treecbabdeeea9c1ea8105604529a9a1b9b1a31997ba /install_debug.sh
parent2b7ac6ec2413e12e1a18b11df5270c2c9f5f9975 (diff)
parent111bf59e8ee454973df17ce9686566ee0d9cd03a (diff)
downloadouroboros-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-xinstall_debug.sh2
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