diff options
| -rw-r--r-- | audio/gnome-media/files/patch-configure | 10 | ||||
| -rw-r--r-- | audio/gnomemedia2/files/patch-configure | 10 |
2 files changed, 0 insertions, 20 deletions
diff --git a/audio/gnome-media/files/patch-configure b/audio/gnome-media/files/patch-configure deleted file mode 100644 index d5e0e924c..000000000 --- a/audio/gnome-media/files/patch-configure +++ /dev/null @@ -1,10 +0,0 @@ ---- configure.orig Thu Jan 23 17:55:03 2003 -+++ configure Tue Feb 4 20:31:01 2003 -@@ -8336,6 +8336,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' diff --git a/audio/gnomemedia2/files/patch-configure b/audio/gnomemedia2/files/patch-configure deleted file mode 100644 index d5e0e924c..000000000 --- a/audio/gnomemedia2/files/patch-configure +++ /dev/null @@ -1,10 +0,0 @@ ---- configure.orig Thu Jan 23 17:55:03 2003 -+++ configure Tue Feb 4 20:31:01 2003 -@@ -8336,6 +8336,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' |