#!/bin/sh
#
# $Header:
#
if [ "$USER" = "" ]; then
  USER=`whoami`
fi

echo -DWHOBUILT=\"Compiled by `echo $USER`@`hostname` on `date`\"

