diff options
Diffstat (limited to 'devel/ppl/files/patch-ltmain.sh')
-rw-r--r-- | devel/ppl/files/patch-ltmain.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/devel/ppl/files/patch-ltmain.sh b/devel/ppl/files/patch-ltmain.sh deleted file mode 100644 index bcd97fabe24a..000000000000 --- a/devel/ppl/files/patch-ltmain.sh +++ /dev/null @@ -1,15 +0,0 @@ ---- ltmain.sh.orig Mon Jul 1 23:54:06 2002 -+++ ltmain.sh Mon Nov 11 22:34:15 2002 -@@ -4772,10 +4772,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" |