set -e for i in `tail +2 $DESTDIR/$1/LIST` do ${DF-false} $1 $i done cd $DESTDIR/$1 arch cr `cat LIST` : I do not remove the files constituating the library, because : they might be present in .distr