diff --git a/configure b/configure index 5c038d6..bced961 100755 --- a/configure +++ b/configure @@ -9,6 +9,7 @@ if [ -z "$PREFIX" ]; then PREFIX=/usr/local fi +BASH=$(command -v bash) GUILE=$(command -v guile) GUILE_TOOLS=$(command -v guile-tools) GUILE_SITE_DIR=$PREFIX/share/guile/site/$GUILE_EFFECTIVE_VERSION @@ -22,6 +23,7 @@ sed \ bin/gash.in > bin/gash chmod +x bin/gash cat > .config.make <