diff --git a/scripts/make_binary_distribution.sh b/scripts/make_binary_distribution.sh index d273e67ec01..ecfe9e8be88 100644 --- a/scripts/make_binary_distribution.sh +++ b/scripts/make_binary_distribution.sh @@ -315,7 +315,7 @@ system=`echo $system | sed -e 's/solaris2.\([0-9]*\)/solaris\1/g'` system=`echo $system | sed -e 's/sco3.2v\(.*\)/openserver\1/g'` # Use the override --machine if present -if [ -n $MACHINE ] ; then +if [ -n "$MACHINE" ] ; then machine=$MACHINE fi