diff options
Diffstat (limited to 'media-sound/pms/files/pms-0.42_p20170508-gcc12-time.patch')
| -rw-r--r-- | media-sound/pms/files/pms-0.42_p20170508-gcc12-time.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/media-sound/pms/files/pms-0.42_p20170508-gcc12-time.patch b/media-sound/pms/files/pms-0.42_p20170508-gcc12-time.patch new file mode 100644 index 000000000000..b0d586eff2c3 --- /dev/null +++ b/media-sound/pms/files/pms-0.42_p20170508-gcc12-time.patch @@ -0,0 +1,11 @@ +https://bugs.gentoo.org/851621 +--- a/src/message.cpp ++++ b/src/message.cpp +@@ -23,6 +23,7 @@ + + + #include <cstdarg> ++#include <ctime> + #include <stdio.h> + #include "message.h" + |