diff options
| -rw-r--r-- | gas/config/.Sanitize | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gas/config/.Sanitize b/gas/config/.Sanitize index cff4587..2305f9c 100644 --- a/gas/config/.Sanitize +++ b/gas/config/.Sanitize @@ -18,7 +18,6 @@ Do-first: echo Sanitizing `pwd`... -recover="tc-sparc.c" # All files listed between the "Things-to-keep:" line and the # "Files-to-sed:" line will be kept. All other files will be removed. @@ -101,6 +100,9 @@ if ( echo $* | grep keep\-v9 > /dev/null ) ; then else echo Cleaning tc-sparc.c... sed '/start\-sanitize/,/end-sanitize/d' < tc-sparc.c > new + if [ -n "${safe}" ] ; then + cp tc-sparc.c .Recover + fi mv new tc-sparc.c fi @@ -109,7 +111,10 @@ echo Done in `pwd`. # # # $Log$ -# Revision 1.3 1991/09/02 21:26:15 rich +# Revision 1.4 1991/09/04 01:55:53 rich +# test & recover a better way. +# +# Revision 1.3 1991/09/02 21:26:15 rich # "recover" tc-sparc.c # # Revision 1.2 1991/09/02 01:03:38 rich |