#!/bin/sh
# $Header$

(
	echo '/* This file is generated from '$1'; do not edit */'

	cat $1 |
	grep '^\.Wn' |
	sed '
		s/.*"/#define	/
	'

	echo '#define	warning(n)	do_warn((n), __LINE__, __FILE__)'
) >\#warn.h

if	# the new one unchanged
	cmp -s \#warn.h warn.h
then	# throw it away
	rm \#warn.h
else	# overwrite old version
	mv \#warn.h warn.h
fi