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