diff --git a/configure b/configure index 1adbeca60c3e7adf88ff461d01043de59d3d1937..3b8dba654f09c784c2af059f0dbbeaa8bb1b0748 100755 --- a/configure +++ b/configure @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # configure script # #