diff --git a/configure b/configure index 5cedef2fd..e0668df4a 100755 --- a/configure +++ b/configure @@ -1,4 +1,4 @@ -#! /bin/sh +#!/usr/bin/env bash # Adapted from the ocamlnet configure script.