possible bashism in ./makever.sh line 31 ($HOST(TYPE|NAME)): if [ "$machine" = "" ]; then machine=$HOSTTYPE; fi
This report was generated on Thu, 16 Dec 2010 17:38:48 +0000, based on results by checkbashisms 2.10.65git5