Forbid spaces in prefix and exec_prefix

Spaces in these are also not handled correctly by Make, so there's sense
in not allowing that.
This commit is contained in:
Alex Lapenkou 2022-01-18 17:20:57 -08:00 committed by Alexander Lapenkov
parent 36a09ba2c7
commit eafd2ac39f

View File

@ -131,12 +131,14 @@ abs_objroot="`pwd`/"
AC_SUBST([abs_objroot]) AC_SUBST([abs_objroot])
dnl Munge install path variables. dnl Munge install path variables.
if test "x$prefix" = "xNONE" ; then case "$prefix" in
prefix="/usr/local" *\ * ) AC_MSG_ERROR([Prefix should not contain spaces]) ;;
fi "NONE" ) prefix="/usr/local" ;;
if test "x$exec_prefix" = "xNONE" ; then esac
exec_prefix=$prefix case "$exec_prefix" in
fi *\ * ) AC_MSG_ERROR([Exec prefix should not contain spaces]) ;;
"NONE" ) exec_prefix=$prefix ;;
esac
PREFIX=$prefix PREFIX=$prefix
AC_SUBST([PREFIX]) AC_SUBST([PREFIX])
BINDIR=`eval echo $bindir` BINDIR=`eval echo $bindir`