1 files changed, 2 insertions, 1 deletions

diff --git a/configure b/configure
index a9db8a1cff..5247074b6d 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,5 @@
-#!/bin/bash -e
+#!/usr/bin/env bash
+set -e
 
 cflags=CFLAGS="$CFLAGS"
 cxxflags=CXXFLAGS="$CXXFLAGS"