M.warn_msg 359 B

123456789101112131415161718192021222324
  1. #!/bin/sh
  2. # $Id$
  3. (
  4. echo '/* This file is generated from '$1'; do not edit */'
  5. cat $1 |
  6. grep '^\.Wn' |
  7. sed '
  8. s/^\.Wn[ ]*/ {/
  9. s/[ ]*[0-9][0-9]*$/},/
  10. s/"[ ][ ]*W/", W/
  11. s/\\-/-/g
  12. '
  13. ) >\#warn_msg
  14. if # the new one unchanged
  15. cmp -s \#warn_msg warn_msg
  16. then # throw it away
  17. rm \#warn_msg
  18. else # overwrite old version
  19. mv \#warn_msg warn_msg
  20. fi