diff --git a/configure b/configure index bf685494..00598d59 100755 --- a/configure +++ b/configure @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh function makeMakefile()