# HG changeset patch # User jwe # Date 782183012 0 # Node ID eedd566a1e370f37fdc3dcb44a84fb8335a93231 # Parent 522bbd75dce3d61de311b094919f96b690e0ccf8 [project @ 1994-10-15 01:03:32 by jwe] diff -r 522bbd75dce3 -r eedd566a1e37 doinstall.sh --- a/doinstall.sh Sat Oct 15 00:59:22 1994 +0000 +++ b/doinstall.sh Sat Oct 15 01:03:32 1994 +0000 @@ -10,12 +10,18 @@ # ask octave to tell us the version number version=`./octave -v 2>/dev/null | awk '/version/ { print $NF }'` +if test -z "$version" +then + echo "doinstall.sh: unable to extract version number from Octave!" + exit 1 +fi + # ask octave to tell us the target host type target_host_type=`echo computer | ./octave -q` -if test -z "$version" +if test -z "$target_host_type" then - echo "doinstall.sh: unable to extract version number from Octave!" + echo "doinstall.sh: unable to extract host type from Octave!" exit 1 fi