1234567891011121314151617181920212223 |
- #!/bin/sh
- # $Id$
- (
- 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
|