2
0
mirror of https://github.com/sudo-project/sudo.git synced 2025-08-22 09:57:41 +00:00

Quote $osversion since it may include whitespace.

This commit is contained in:
Todd C. Miller 2023-11-08 08:16:57 -07:00
parent e0d912d1db
commit 0497bde983

View File

@ -104,7 +104,7 @@ configure="${scriptdir}/../configure"
osrelease=`echo "$osversion" | sed -e 's/^[^0-9]*//' -e 's/-.*$//'` osrelease=`echo "$osversion" | sed -e 's/^[^0-9]*//' -e 's/-.*$//'`
: ${MAKE=make} : ${MAKE=make}
if [ $build_packages = true -a $osversion = unknown ]; then if [ $build_packages = true -a "$osversion" = "unknown" ]; then
echo "unable to determine platform" 1>&2 echo "unable to determine platform" 1>&2
exit 1 exit 1
fi fi