95bbb07bc3
PR: ports/60711 Submitted by: ijliao
15 lines
503 B
Bash
15 lines
503 B
Bash
--- ltmain.sh.orig Tue Dec 30 09:32:46 2003
|
|
+++ ltmain.sh Tue Dec 30 09:32:59 2003
|
|
@@ -4333,10 +4333,12 @@
|
|
fi
|
|
|
|
# Install the pseudo-library for information purposes.
|
|
+ if /usr/bin/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"
|