Ludovic Courtès 0b93d04ac5
gnu: gcc@4.8: Fix libsanitizer build issue.
Fixes <https://bugs.gnu.org/32397>.
Reported by fis trivial <ybbs.daans@hotmail.com>.

* gnu/packages/patches/gcc-4.8-libsanitizer-fix.patch: New file.
* gnu/packages/gcc.scm (gcc-4.8)[source]: Use it.
* gnu/local.mk (dist_patch_DATA): Add it.
2018-08-19 18:21:24 +02:00
..
2018-08-18 21:18:21 +02:00
2018-07-29 23:33:40 +02:00
2018-06-14 18:55:51 +02:00
2018-08-18 19:48:24 -04:00
2018-07-29 20:00:34 +03:00
2018-08-16 20:56:38 +02:00
2018-08-11 02:00:43 +02:00
2018-08-09 02:17:24 +02:00
2018-05-01 16:01:39 +02:00
2018-08-01 15:48:26 +02:00
2018-06-14 15:41:09 +02:00
2018-08-16 17:04:13 +02:00
2018-08-14 12:48:14 +02:00
2018-08-15 15:26:06 -04:00
2018-08-16 18:47:58 -04:00
2018-07-19 21:29:14 +03:00
2018-07-30 21:51:43 +02:00
2018-05-31 04:54:56 +02:00
2018-08-16 05:15:20 +02:00
2018-07-29 20:00:32 +03:00
2018-08-16 22:56:54 +02:00
2018-07-05 02:35:02 +02:00
2018-05-23 15:29:35 +02:00
2018-08-18 19:48:18 -04:00
2018-08-18 14:07:39 +02:00
2018-08-09 08:13:08 -04:00
2018-07-20 15:30:22 -04:00
2018-06-30 03:46:19 +02:00
2018-08-15 00:32:15 +02:00
2018-08-18 16:07:00 +02:00
2018-07-09 19:26:05 +03:00
2018-07-21 19:24:14 +02:00
2018-08-10 00:07:00 +02:00
2018-08-01 13:32:11 +02:00
2018-08-16 05:21:38 +02:00
2018-08-11 00:05:24 +02:00
2018-08-16 05:32:47 +02:00
2018-06-11 19:16:23 +03:00
2018-04-15 09:22:16 +02:00
2018-05-23 13:59:46 +02:00
2018-07-16 10:02:28 +03:00
2018-07-27 18:00:06 +02:00
2018-08-16 05:32:47 +02:00
2018-07-05 02:35:02 +02:00
2018-08-19 15:24:59 +02:00
2018-05-05 13:16:32 +02:00
2018-08-09 21:19:46 +02:00
2018-06-05 03:01:17 +02:00
2018-08-16 17:04:10 +02:00
2018-04-12 04:03:06 -04:00
2018-07-20 15:34:57 -04:00
2018-08-11 02:00:45 +02:00
2018-08-17 13:13:10 +02:00
2018-07-28 21:35:07 +02:00
2018-08-11 18:55:45 +02:00
2018-08-19 15:24:59 +02:00
2018-04-13 09:41:13 +02:00
2018-08-06 15:12:15 +03:00
2018-08-09 21:19:47 +02:00
2018-07-01 21:01:40 +03:00
2018-06-02 13:39:13 +02:00
2018-08-05 00:20:25 -04:00
2018-08-19 15:24:59 +02:00
2018-08-17 13:13:10 +02:00
2018-07-23 12:25:31 +02:00
2018-03-31 19:26:53 +02:00
2018-08-16 17:04:13 +02:00
2018-07-20 17:08:12 +02:00
2018-08-11 18:55:46 +02:00
2018-07-30 18:08:28 +02:00
2018-07-19 11:46:43 +02:00
2018-04-11 20:03:56 -04:00
2018-06-10 16:00:45 +08:00
2018-07-16 11:02:25 +03:00
2018-04-06 17:46:03 +02:00
2018-04-01 20:51:21 +02:00
2018-08-17 03:50:35 +02:00
2018-08-14 15:54:31 +02:00
2018-08-19 02:19:20 -04:00
2018-06-24 01:17:11 +03:00
2018-07-12 17:21:16 +02:00
2018-07-10 14:13:40 +02:00
2018-08-17 13:13:11 +02:00
2018-08-14 15:54:30 +02:00
2018-08-16 05:21:38 +02:00
2018-08-19 15:24:59 +02:00
2018-08-19 13:30:57 +02:00
2018-08-18 12:21:52 +02:00
2018-08-09 02:17:25 +02:00
2018-08-15 15:26:06 -04:00
2018-08-18 14:07:40 +02:00
2018-08-16 02:54:10 -04:00
2018-06-05 03:18:46 +02:00
2018-08-18 00:50:37 +05:30
2018-06-15 09:57:14 +02:00
2018-06-26 02:17:03 +02:00
2018-06-20 21:26:16 +02:00
2018-07-03 17:50:04 +02:00
2018-08-16 17:04:10 +02:00
2018-08-09 08:07:35 -04:00
2018-07-13 01:05:56 +02:00
2018-08-16 20:56:38 +02:00
2018-07-19 21:29:41 +02:00
2018-08-06 14:07:08 +02:00
2018-08-11 02:00:46 +02:00
2018-08-16 02:46:21 +02:00
2018-04-17 04:02:07 +02:00
2018-08-16 20:56:38 +02:00
2018-07-31 17:46:01 +03:00
2018-08-16 16:02:20 +02:00
2018-07-07 18:10:32 +02:00
2018-08-01 13:32:11 +02:00
2018-08-02 15:22:34 +02:00
2018-08-09 07:50:57 +02:00
2018-07-25 11:52:59 +03:00
2018-08-16 18:36:09 -04:00
2018-06-07 00:30:13 +02:00
2018-07-27 14:19:33 +02:00
2018-08-01 13:32:10 +02:00
2018-08-16 16:08:13 -04:00
2018-08-11 05:02:20 +02:00
2018-07-30 14:41:14 +03:00
2018-06-14 00:52:30 +02:00
2018-08-18 13:43:19 +02:00
2018-07-18 01:04:14 +02:00
2018-06-26 04:17:49 +02:00
2018-06-14 11:20:31 +05:30
2018-08-16 16:53:29 -04:00
2018-06-15 09:57:16 +02:00
2018-04-14 23:08:42 -04:00
2018-07-15 23:14:03 +03:00
2018-07-13 17:28:40 +02:00
2018-08-16 20:56:38 +02:00
2018-06-12 11:16:06 +03:00
2018-08-17 05:19:05 +02:00
2018-06-18 12:32:22 -04:00
2018-08-19 15:24:59 +02:00
2018-08-18 15:16:51 +02:00
2018-06-30 03:46:21 +02:00
2018-07-23 11:13:36 +02:00
2018-08-12 20:15:34 +02:00
2018-08-18 15:20:41 +02:00
2018-06-30 03:46:21 +02:00
2018-08-11 02:00:44 +02:00
2018-08-16 20:56:38 +02:00