From 265ed2732fb138d0bfab6777bdf2e82c32bf6d29 Mon Sep 17 00:00:00 2001 From: jash Date: Mon, 8 Oct 2018 23:48:37 +0200 Subject: [PATCH] we need bash --- install/script/setup.sh | 2 +- setup.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/install/script/setup.sh b/install/script/setup.sh index 283df16..38b5f62 100755 --- a/install/script/setup.sh +++ b/install/script/setup.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash . ./trace.sh . ./configure.sh diff --git a/setup.sh b/setup.sh index 3d88e55..1018ba4 100755 --- a/setup.sh +++ b/setup.sh @@ -1,3 +1,3 @@ -#!/bin/sh +#!/bin/bash (cd install/script && TRACING=1 ./setup.sh $@) \ No newline at end of file