From 505524ce387e81815c4195df893a7744bed1735b Mon Sep 17 00:00:00 2001 From: "Michael Mair-Keimberger (asterix)" Date: Mon, 2 Jan 2017 17:22:12 +0100 Subject: [PATCH] media-sound/mp3blaster: remove unused patch Closes: https://github.com/gentoo/gentoo/pull/3305 --- .../mp3blaster/files/mp3blaster-3.2.5-gcc44.patch | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 media-sound/mp3blaster/files/mp3blaster-3.2.5-gcc44.patch diff --git a/media-sound/mp3blaster/files/mp3blaster-3.2.5-gcc44.patch b/media-sound/mp3blaster/files/mp3blaster-3.2.5-gcc44.patch deleted file mode 100644 index fc1a6c8d053e..000000000000 --- a/media-sound/mp3blaster/files/mp3blaster-3.2.5-gcc44.patch +++ /dev/null @@ -1,13 +0,0 @@ -http://bugs.gentoo.org/362347 - ---- src/global.cc -+++ src/global.cc -@@ -371,7 +371,7 @@ - is_sid(const char *filename) - { - #ifdef HAVE_SIDPLAYER -- char *ext = strrchr(filename, '.'); -+ const char *ext = strrchr(filename, '.'); - if (ext) { - if (!strcasecmp(ext, ".psid")) return 1; - if (!strcasecmp(ext, ".sid")) return 1; -- 2.26.2