#!/bin/csh -f
@ x = `awk '{print $5}' $1` + 1
echo "char *version = " '"'Version $x of `hostname`"," "`date`"'";' > $1

