#!/bin/sh
# @(#) $Id: mkcomptime,v 1.1 2003/01/06 19:31:55 alex Exp $

date=`date`
echo "char *Comptime = \"${date}\";"
exit 0
