make_binary_distribution.sh:

  Use portable check for empty string.


scripts/make_binary_distribution.sh:
  Use portable check for empty string.

scripts/make_binary_distribution.sh

@@ -315,8 +315,8 @@ 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 [ $MACHINE != "" ] ; then
-  machine= $MACHINE
+if [ -n $MACHINE ] ; then
+  machine=$MACHINE
 fi
 
 # Change the distribution to a long descriptive name