diff --git a/configure b/configure index 1639933..d7cf99c 100755 --- a/configure +++ b/configure @@ -1,4 +1,4 @@ -#! /usr/bin/bash +#! /bin/bash usage() { echo "usage: $0 --platform= [options...]"