From 0201c1639c58cc28f1446da1c7df6e9d2c22c4f0 Mon Sep 17 00:00:00 2001 From: Joe Marcus Clarke Date: Wed, 8 May 2002 22:40:48 +0000 Subject: Add gnomemedia2 after repo copy from gnomemedia. This is a port of the multimedia tools for the GNOME 2.0 desktop. --- audio/gnome-media/files/patch-configure | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 audio/gnome-media/files/patch-configure (limited to 'audio/gnome-media/files/patch-configure') diff --git a/audio/gnome-media/files/patch-configure b/audio/gnome-media/files/patch-configure new file mode 100644 index 000000000000..69445f92cc6d --- /dev/null +++ b/audio/gnome-media/files/patch-configure @@ -0,0 +1,10 @@ +--- configure.orig Tue May 7 01:02:03 2002 ++++ configure Tue May 7 01:04:35 2002 +@@ -7978,6 +7978,7 @@ + + # This can be used to rebuild libtool when needed + LIBTOOL_DEPS="$ac_aux_dir/ltmain.sh" ++$ac_aux_dir/ltconfig $LIBTOOL_DEPS + + # Always use our own libtool. + LIBTOOL='$(SHELL) $(top_builddir)/libtool' -- cgit v1.2.3