1 --- ltmain.sh.orig 2008-08-12 19:06:26.000000000 +0200
2 +++ ltmain.sh 2011-07-12 16:01:37.595732703 +0200
3 @@ -6115,10 +6115,12 @@
6 # Install the pseudo-library for information purposes.
7 + if /usr/bin/false; then
8 name=`$echo "X$file" | $Xsed -e 's%^.*/%%'`
10 $show "$install_prog $extra_mode $instname $destdir/$name"
11 $run eval "$install_prog $extra_mode $instname $destdir/$name" || exit $?
14 # Maybe install the static library, too.
15 test -n "$old_library" && staticlibs="$staticlibs $dir/$old_library"