1#!/bin/sh
2# @(#) $Id: mkcomptime,v 1.1 2003/01/06 19:31:55 alex Exp $
3
4date=`date`
5echo "char *Comptime = \"${date}\";"
6exit 0
7