From 9e39fc4fd528f3d6fd9cf705895bc9f6f45d79d0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ciro=20Santilli=20=E5=85=AD=E5=9B=9B=E4=BA=8B=E4=BB=B6=20?=
 =?UTF-8?q?=E6=B3=95=E8=BD=AE=E5=8A=9F?= <ciro.santilli@gmail.com>
Date: Thu, 29 Aug 2019 00:00:00 +0000
Subject: [PATCH] userland/gcc: cc_pedantic is needed here, previous removal
 broke things

---
 path_properties.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/path_properties.py b/path_properties.py
index 4c4767f..802e486 100644
--- a/path_properties.py
+++ b/path_properties.py
@@ -506,7 +506,7 @@ path_properties_tuples = (
                     },
                 ),
                 'gcc': (
-                    gnu_extension_properties,
+                    {**gnu_extension_properties, **{'cc_pedantic': False}},
                     {
                         'openmp.c': {'cc_flags': ['-fopenmp', LF]},
                     }