9996e95179
swfdec-plugin is a Mozilla plugin for rendering flash (.swf) animations using the gstreamer framework and the swfdec library. It should currently play Flash 4 files, and Flash 5 support is under development.
15 lines
503 B
Bash
15 lines
503 B
Bash
--- ltmain.sh.orig Wed Nov 24 17:28:43 2004
|
|
+++ ltmain.sh Wed Nov 24 17:28:55 2004
|
|
@@ -5551,10 +5551,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"
|