diff options
author | Joe Marcus Clarke <marcus@FreeBSD.org> | 2002-05-08 22:40:48 +0000 |
---|---|---|
committer | Joe Marcus Clarke <marcus@FreeBSD.org> | 2002-05-08 22:40:48 +0000 |
commit | 0201c1639c58cc28f1446da1c7df6e9d2c22c4f0 (patch) | |
tree | 0ef93b6cbe41ebe659a186869062b8fc714f4183 /audio/gnome-media/files/patch-configure | |
parent | Add gnomecontrolcenter2 after repo copy from gnomecontrolcenter. This (diff) |
Add gnomemedia2 after repo copy from gnomemedia. This is a port of the
multimedia tools for the GNOME 2.0 desktop.
Diffstat (limited to '')
-rw-r--r-- | audio/gnome-media/files/patch-configure | 10 |
1 files changed, 10 insertions, 0 deletions
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' |