#! /bin/csh -f -b

if (`/bin/hostname` != "pun") then
	/usr/etc/umount /n/pun/1
endif