diff options
| -rw-r--r-- | gas/config/.Sanitize | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gas/config/.Sanitize b/gas/config/.Sanitize index d284d89..a1dab26 100644 --- a/gas/config/.Sanitize +++ b/gas/config/.Sanitize @@ -15,12 +15,6 @@ Do-first: -if ( echo $* | grep keep\-mpw > /dev/null ) ; then - keep_these_too="ho-mpw.h" -else - lose_these_too="ho-mpw.h" -fi - # All files listed between the "Things-to-keep:" line and the # "Files-to-sed:" line will be kept. All other files will be removed. # Directories listed in this section will have their own Sanitize |