Initial entry

This commit is contained in:
dick
1988-06-22 16:57:09 +00:00
parent 4934f830fc
commit a717832bfb
68 changed files with 15062 additions and 0 deletions

24
util/int/M.warn_msg Executable file
View File

@@ -0,0 +1,24 @@
#!/bin/sh
# $Header$
(
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