Check that file specified by --enable-racket exists (#3118)

This commit is contained in:
Paulo Matos 2020-04-22 23:22:19 +02:00 committed by GitHub
parent b320cfb103
commit 362edb00de
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 14 additions and 4 deletions

View File

@ -3337,9 +3337,14 @@ fi
if test "${enable_racket}" != "" ; then
if test "${enable_racket}" = "auto" ; then
echo "=== Creating and using local Racket executable"
echo "=== Creating and using local Racket executable"
else
echo "=== Using Racket executable ${enable_racket}"
if test ! -f "${enable_racket}"; then
echo "cannot find racket executable in ${enable_racket}"
exit 1
else
echo "=== Using Racket executable ${enable_racket}"
fi
fi
fi

View File

@ -237,9 +237,14 @@ m4_include(../ac/sdk_show.m4)
if test "${enable_racket}" != "" ; then
if test "${enable_racket}" = "auto" ; then
echo "=== Creating and using local Racket executable"
echo "=== Creating and using local Racket executable"
else
echo "=== Using Racket executable ${enable_racket}"
if test ! -f "${enable_racket}"; then
echo "cannot find racket executable in ${enable_racket}"
exit 1
else
echo "=== Using Racket executable ${enable_racket}"
fi
fi
fi