diff --git a/configure b/configure index d372237..aebb0e9 100755 --- a/configure +++ b/configure @@ -1,5 +1,5 @@ #!/bin/sh -cd shotgun; bash ./mkconfig.sh "$*" +cd shotgun; sh ./mkconfig.sh "$*" echo echo "Rubinius is configured."