#!/bin/csh
set patchlevel = `cat patchlevel`
@ patchlevel++
echo $patchlevel > patchlevel