]> Git Repo - binutils.git/blob - sim/.Sanitize
Treat infinities like normal numbers for purposes of comparisons
[binutils.git] / sim / .Sanitize
1 # .Sanitize for devo/sim.
2
3 # Each directory to survive it's way into a release will need a file
4 # like this one called "./.Sanitize".  All keyword lines must exist,
5 # and must exist in the order specified by this file.  Each directory
6 # in the tree will be processed, top down, in the following order.
7
8 # Hash started lines like this one are comments and will be deleted
9 # before anything else is done.  Blank lines will also be squashed
10 # out.
11
12 # The lines between the "Do-first:" line and the "Things-to-keep:"
13 # line are executed as a /bin/sh shell script before anything else is
14 # done in this 
15
16 Do-first:
17
18 igen_files="igen"
19
20 d30v_files="d30v testsuite"
21 if ( echo $* | grep keep\-d30v > /dev/null ) ; then
22         keep_these_too="${d30v_files} ${igen_files} ${keep_these_too}"
23         igen_files=
24 else
25         lose_these_too="${d30v_files} ${lose_these_too}"
26 fi
27
28 tic80_files="tic80"
29 if ( echo $* | grep keep\-tic80 > /dev/null ) ; then
30         keep_these_too="${tic80_files} ${igen_files} ${keep_these_too}"
31         igen_files=
32 else
33         lose_these_too="${tic80_files} ${lose_these_too}"
34 fi
35
36 v850_files="v850"
37 if ( echo $* | grep keep\-v850 > /dev/null ) ; then
38         keep_these_too="${v850_files} ${keep_these_too}"
39 else
40         lose_these_too="${v850_files} ${lose_these_too}"
41 fi
42
43 lose_these_too="${igen_files} ${lose_these_too}"
44
45 # All files listed between the "Things-to-keep:" line and the
46 # "Files-to-sed:" line will be kept.  All other files will be removed.
47 # Directories listed in this section will have their own Sanitize
48 # called.  Directories not listed will be removed in their entirety
49 # with rm -rf.
50
51 Things-to-keep:
52
53 ChangeLog
54 Makefile.in
55 README-HACKING
56 arm
57 configure
58 configure.in
59 common
60 d10v
61 erc32
62 h8300
63 h8500
64 igen
65 m32r
66 mips
67 mn10200
68 mn10300
69 ppc
70 sh
71 w65
72 z8k
73
74 Things-to-lose:
75
76
77 Do-last:
78
79 d30v_files="configure configure.in ChangeLog"
80 if ( echo $* | grep keep\-d30v > /dev/null ) ; then
81         for i in $d30v_files ; do
82                 if test ! -d $i && (grep sanitize-d30v $i > /dev/null) ; then
83                         if [ -n "${verbose}" ] ; then
84                                 echo Keeping d30v stuff in $i
85                         fi
86                 fi
87         done
88 else
89         for i in $d30v_files ; do
90                 if test ! -d $i && (grep sanitize-d30v $i > /dev/null) ; then
91                         if [ -n "${verbose}" ] ; then
92                                 echo Removing traces of \"d30v\" from $i...
93                         fi
94                         cp $i new
95                         sed '/start\-sanitize\-d30v/,/end-\sanitize\-d30v/d' < $i > new
96                         if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
97                                 if [ -n "${verbose}" ] ; then
98                                         echo Caching $i in .Recover...
99                                 fi
100                                 mv $i .Recover
101                         fi
102                         mv new $i
103                 fi
104         done
105 fi
106
107 tic80_files="configure configure.in ChangeLog"
108 if ( echo $* | grep keep\-tic80 > /dev/null ) ; then
109         for i in $tic80_files ; do
110                 if test ! -d $i && (grep sanitize-tic80 $i > /dev/null) ; then
111                         if [ -n "${verbose}" ] ; then
112                                 echo Keeping tic80 stuff in $i
113                         fi
114                 fi
115         done
116 else
117         for i in $tic80_files ; do
118                 if test ! -d $i && (grep sanitize-tic80 $i > /dev/null) ; then
119                         if [ -n "${verbose}" ] ; then
120                                 echo Removing traces of \"tic80\" from $i...
121                         fi
122                         cp $i new
123                         sed '/start\-sanitize\-tic80/,/end-\sanitize\-tic80/d' < $i > new
124                         if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
125                                 if [ -n "${verbose}" ] ; then
126                                         echo Caching $i in .Recover...
127                                 fi
128                                 mv $i .Recover
129                         fi
130                         mv new $i
131                 fi
132         done
133 fi
134
135 v850_files="configure configure.in ChangeLog"
136 if ( echo $* | grep keep\-v850 > /dev/null ) ; then
137         for i in $v850_files ; do
138                 if test ! -d $i && (grep sanitize-v850 $i > /dev/null) ; then
139                         if [ -n "${verbose}" ] ; then
140                                 echo Keeping v850 stuff in $i
141                         fi
142                 fi
143         done
144 else
145         for i in $v850_files ; do
146                 if test ! -d $i && (grep sanitize-v850 $i > /dev/null) ; then
147                         if [ -n "${verbose}" ] ; then
148                                 echo Removing traces of \"v850\" from $i...
149                         fi
150                         cp $i new
151                         sed '/start\-sanitize\-v850/,/end-\sanitize\-v850/d' < $i > new
152                         if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
153                                 if [ -n "${verbose}" ] ; then
154                                         echo Caching $i in .Recover...
155                                 fi
156                                 mv $i .Recover
157                         fi
158                         mv new $i
159                 fi
160         done
161 fi
162
163 for i in * ; do
164         if test ! -d $i && (grep sanitize $i > /dev/null) ; then
165                 echo '***' Some mentions of Sanitize are still left in $i! 1>&2
166         fi
167 done 
168
169 # End of file.
This page took 0.034481 seconds and 4 git commands to generate.