* nm-hp300bsd.h (PTRACE_ARG3_TYPE): FSF's hp300's have int* not caddr_t.
[deliverable/binutils-gdb.git] / include / elf / .Sanitize
CommitLineData
1ee1fd7e
SC
1# Sanitize.in for devo.
2# $Id$
3#
4
5# Each directory to survive it's way into a release will need a file
6# like this one called "./.Sanitize". All keyword lines must exist,
7# and must exist in the order specified by this file. Each directory
8# in the tree will be processed, top down, in the following order.
9
10# Hash started lines like this one are comments and will be deleted
11# before anything else is done. Blank lines will also be squashed
12# out.
13
14# The lines between the "Do-first:" line and the "Things-to-keep:"
15# line are executed as a /bin/sh shell script before anything else is
16# done in this
17
18Do-first:
19
8921fc68
FF
20if ( echo $* | grep keep\-chill > /dev/null ) ; then
21 keep_these_too="ch-exp.y"
22fi
23
1ee1fd7e
SC
24# All files listed between the "Things-to-keep:" line and the
25# "Files-to-sed:" line will be kept. All other files will be removed.
26# Directories listed in this section will have their own Sanitize
27# called. Directories not listed will be removed in their entirety
28# with rm -rf.
29
30Things-to-keep:
31
32
33ChangeLog
34common.h
35dwarf.h
36external.h
37internal.h
38
39Do-last:
40
8921fc68
FF
41echo Thawing away the \"chill\"...
42
43# Don't try to clean directories here, as the 'mv' command will fail.
44# Also, grep fails on NFS mounted directories.
45if ( echo $* | grep keep\-chill > /dev/null ) ; then
46 for i in * ; do
47 if test ! -d $i && (grep sanitize-chill $i > /dev/null) ; then
48 echo Keeping chill stuff in $i
49 fi
50 done
51else
52 for i in * ; do
53 if test ! -d $i && (grep sanitize-chill $i > /dev/null) ; then
54 echo Thawing the \"chill\" out of $i...
55 cp $i new
56 sed '/start\-sanitize\-chill/,/end-\sanitize\-chill/d' < $i > new
57 if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
58 echo Caching $i in .Recover...
59 mv $i .Recover
60 fi
61 mv new $i
62 fi
63 done
64fi
1ee1fd7e
SC
65
66# End of file.
This page took 0.047645 seconds and 4 git commands to generate.