M.warn_h 347 B

1234567891011121314151617181920212223
  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/.*"/#define /
  9. '
  10. echo '#define warning(n) do_warn((n), __LINE__, __FILE__)'
  11. ) >\#warn.h
  12. if # the new one unchanged
  13. cmp -s \#warn.h warn.h
  14. then # throw it away
  15. rm \#warn.h
  16. else # overwrite old version
  17. mv \#warn.h warn.h
  18. fi