diff options
author | David Edelsohn <dje.gcc@gmail.com> | 1995-06-20 20:05:40 +0000 |
---|---|---|
committer | David Edelsohn <dje.gcc@gmail.com> | 1995-06-20 20:05:40 +0000 |
commit | 77cbdd35c94f61255b520eac5c72ffd4d00b2fbf (patch) | |
tree | e395e25c066f2e880e9463a9b55a21c5cb330121 /.Sanitize | |
parent | 2822305bb5add7bd07524cadca91e8b4450e1cfa (diff) | |
download | gdb-77cbdd35c94f61255b520eac5c72ffd4d00b2fbf.zip gdb-77cbdd35c94f61255b520eac5c72ffd4d00b2fbf.tar.gz gdb-77cbdd35c94f61255b520eac5c72ffd4d00b2fbf.tar.bz2 |
Keep COPYING.NEWLIB if keep-newlib.
Diffstat (limited to '.Sanitize')
-rw-r--r-- | .Sanitize | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -45,6 +45,17 @@ else fi fi +# This is for newlib net releases. +# We don't check for duplicates of COPYING.NEWLIB appearing because it's not +# intended that keep-cygnus and keep-newlib be used together. +newlib_files="COPYING.NEWLIB" + +if ( echo $* | grep keep\-newlib > /dev/null) ; then + keep_these_too="${keep_these_too} ${newlib_files}" +else + lose_these_too="${lose_these_too} ${newlib_files}" +fi + # This top-level directory is special. We often check out only subsets # of this directory, and complaining about directories or files we didn't # check out just gets obnoxious. |