diff --git a/make b/make index 810a2fc..58a8021 100755 --- a/make +++ b/make @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -e try(){ set +e; "$@" 2>/dev/null; set -e; } trace(){ set -x; "$@"; set +x; }