From 01bf0fb6ce83479fa4b3f7c4483dcf590601251c Mon Sep 17 00:00:00 2001 From: Dane Springmeyer Date: Sun, 10 Sep 2017 08:40:33 -0700 Subject: [PATCH] make the configure script actually bash --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index c4c33400f..2a44205fe 100755 --- a/configure +++ b/configure @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -eu