Module Name:	basesrc
Committed By:	mrg
Date:		Thu Jul 27 11:51:14 UTC 2000

Modified Files:
	basesrc/usr.bin/kdump: Makefile.ioctl-c

Log Message:
mark the installed ioctl.h & ioctl_compat.h PRECIOUS; if mkioctls fails, don't delete them!


To generate a diff of this commit:
cvs rdiff -r1.1 -r1.2 basesrc/usr.bin/kdump/Makefile.ioctl-c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.