123456789101112131415161718192021 |
- #!/bin/sh
- # $Id$
- (
- echo '/* This file is generated from '$1'; do not edit */'
- cat $1 |
- sed '
- s/..//
- s/.*/ "&",/
- '
- ) >\#trap_msg
- if # the new one unchanged
- cmp -s \#trap_msg trap_msg
- then # throw it away
- rm \#trap_msg
- else # overwrite old version
- mv \#trap_msg trap_msg
- fi
|