diff options
| author | Piotr Kubaj <pkubaj@FreeBSD.org> | 2019-08-13 09:18:19 +0000 |
|---|---|---|
| committer | Piotr Kubaj <pkubaj@FreeBSD.org> | 2019-08-13 09:18:19 +0000 |
| commit | 1684b6a8c95723c84c52bf0064bae425abf89e01 (patch) | |
| tree | 1c375145684611dc401b108b79f7c15f1f91d7c4 /java/openjdk12/files/patch-configure | |
| parent | - Update WWW (diff) | |
mail/astroid: fix build with GCC-based architectures
Use C11 compiler:
/usr/local/include/webkitgtk-4.0/webkit2/WebKitUserContentFilterStore.h:49: error: redefinition of typedef 'WebKitUserContentFilter'
/usr/local/include/webkitgtk-4.0/webkit2/WebKitUserContent.h:141: error: previous declaration of 'WebKitUserContentFilter' was here
Approved by: mentors (implicit approval)
Notes
Notes:
svn path=/head/; revision=508817
Diffstat (limited to 'java/openjdk12/files/patch-configure')
0 files changed, 0 insertions, 0 deletions