#!/bin/sh uname=`uname -a` date=`date` srcdir=$1 builddir=$2 compiler=$3 if [ ! "x$USER" = "x" ]; then whoami=$USER else if [ ! "x$LOGNAME" = "x" ]; then whoami=$LOGNAME else whoami=`whoami || id -un` fi fi host=`hostname` cat <