From 77cbdd35c94f61255b520eac5c72ffd4d00b2fbf Mon Sep 17 00:00:00 2001 From: David Edelsohn Date: Tue, 20 Jun 1995 20:05:40 +0000 Subject: [PATCH] Keep COPYING.NEWLIB if keep-newlib. --- .Sanitize | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/.Sanitize b/.Sanitize index 35f916a..349eea3 100644 --- a/.Sanitize +++ b/.Sanitize @@ -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. -- 2.7.4