From: Peter Eisentraut Date: Fri, 9 Mar 2001 18:59:38 +0000 (+0000) Subject: Automatically remove $objdir (usually .libs). From Peter Eisentraut --- diff --git a/ChangeLog b/ChangeLog index 14c7d5d1e..3ac9373f8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2001-02-25 Peter Eisentraut + + * ltmain.in (clean): Automatically remove $objdir (usually '.libs'). + 2001-03-08 Gary V. Vaughan * ltconfig.in (library_names_spec): Undo latin-1 spaces I pasted diff --git a/ltmain.in b/ltmain.in index f3ed8a3cd..1d64d5819 100644 --- a/ltmain.in +++ b/ltmain.in @@ -4952,6 +4952,8 @@ relink_command=\"$relink_command\"" exit 1 fi + rmdirs= + for file in $files; do dir=`$echo "X$file" | $Xsed -e 's%/[^/]*$%%'` if test "X$dir" = "X$file"; then @@ -4963,6 +4965,14 @@ relink_command=\"$relink_command\"" name=`$echo "X$file" | $Xsed -e 's%^.*/%%'` test $mode = uninstall && objdir="$dir" + # Remember objdir for removal later, being careful to avoid duplicates + if test $mode = clean; then + case " $rmdirs " in + *" $objdir "*) ;; + *) rmdirs="$rmdirs $objdir" ;; + esac + fi + rmfiles="$file" case $name in @@ -5045,6 +5055,15 @@ relink_command=\"$relink_command\"" $show "$rm $rmfiles" $run $rm $rmfiles done + + # Try to remove the ${objdir}s in the directories where we deleted files + for dir in $rmdirs; do + if test -d "$dir"; then + $show "rmdir $dir" + $run rmdir $dir >/dev/null 2>&1 + fi + done + exit 0 ;;