+gdbtk_files="tcl tk"
+
+if ( echo $* | grep lose\-gdbtk > /dev/null) ; then
+ lose_these_too="${lose_these_too} ${gdbtk_files}"
+ if [ -n "${verbose}" ] ; then
+ echo Deleting ${gdbtk_files}
+ fi
+else
+ keep_these_too="${keep_these_too} ${gdbtk_files}"
+ if [ -n "${verbose}" ] ; then
+ echo Keeping ${gdbtk_files}
+ fi
+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.
+
+list="${keep_these_too}"
+keep_these_too=
+
+for file in $list ; do
+ if [ -r $file ] || [ -d $file ] ; then
+ keep_these_too="${keep_these_too} $file"
+ fi
+done
+
+list="${lose_these_too}"
+lose_these_too=
+
+for file in $list ; do
+ if [ -r $file ] || [ -d $file ] ; then
+ lose_these_too="${lose_these_too} $file"
+ fi
+done