--- ltmain.sh.orig Sun Apr 11 20:01:57 2004 +++ ltmain.sh Fri May 20 22:35:57 2005 @@ -5550,10 +5550,12 @@ relink_command=\"$relink_command\"" fi # Install the pseudo-library for information purposes. + if false; then name=`$echo "X$file" | $Xsed -e 's%^.*/%%'` instname="$dir/$name"i $show "$install_prog $instname $destdir/$name" $run eval "$install_prog $instname $destdir/$name" || exit $? + fi # Maybe install the static library, too. test -n "$old_library" && staticlibs="$staticlibs $dir/$old_library"