diff options
| author | David Edelsohn <dje.gcc@gmail.com> | 1995-07-25 22:05:00 +0000 |
|---|---|---|
| committer | David Edelsohn <dje.gcc@gmail.com> | 1995-07-25 22:05:00 +0000 |
| commit | c8205c908ea3ec5f4429d37c003b8a50e426d28b (patch) | |
| tree | a3e29064a12dafaeca2d3b0886716e7de25b3d6b /.Sanitize | |
| parent | 1789d5d57997dc7bd2cbd8c8d44e87af3815f8b5 (diff) | |
| download | gdb-c8205c908ea3ec5f4429d37c003b8a50e426d28b.zip gdb-c8205c908ea3ec5f4429d37c003b8a50e426d28b.tar.gz gdb-c8205c908ea3ec5f4429d37c003b8a50e426d28b.tar.bz2 | |
Clean up handling of COPYING.NEWLIB.
Diffstat (limited to '.Sanitize')
| -rw-r--r-- | .Sanitize | 11 |
1 files changed, 7 insertions, 4 deletions
@@ -81,12 +81,15 @@ else fi # This is for newlib net releases. -newlib_files="COPYING.NEWLIB" +newlib_file="COPYING.NEWLIB" -if ( echo $* | grep keep\-newlib > /dev/null) ; then - keep_these_too="${keep_these_too} ${newlib_files}" +if (echo $* | grep keep\-newlib > /dev/null) ; then + if (echo $* | grep -v keep\-cygnus > /dev/null) ; then + keep_these_too="${keep_these_too} ${newlib_file}" + lose_these_too="`echo ${lose_these_too} | sed -e s/${newlib_file}//`" + fi else - lose_these_too="${lose_these_too} ${newlib_files}" + true; # Let keep-cygnus handle it. fi # This top-level directory is special. We often check out only subsets |