123456789101112131415161718192021222324 |
- #!/bin/sh
- # $Id$
- (
- echo '/* This file is generated from '$1'; do not edit */'
- cat $1 |
- grep '^\.Wn' |
- sed '
- s/^\.Wn[ ]*/ {/
- s/[ ]*[0-9][0-9]*$/},/
- s/"[ ][ ]*W/", W/
- s/\\-/-/g
- '
- ) >\#warn_msg
- if # the new one unchanged
- cmp -s \#warn_msg warn_msg
- then # throw it away
- rm \#warn_msg
- else # overwrite old version
- mv \#warn_msg warn_msg
- fi
|