diff options
Diffstat (limited to 'www/wsdlpull/files/patch-ltmain.sh')
-rw-r--r-- | www/wsdlpull/files/patch-ltmain.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/www/wsdlpull/files/patch-ltmain.sh b/www/wsdlpull/files/patch-ltmain.sh deleted file mode 100644 index dde9c6e035b1..000000000000 --- a/www/wsdlpull/files/patch-ltmain.sh +++ /dev/null @@ -1,15 +0,0 @@ ---- ltmain.sh.orig Fri Mar 18 11:34:55 2005 -+++ ltmain.sh Fri Mar 18 11:35:05 2005 -@@ -5527,10 +5527,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" |