Defaultpragmas geaendert: pedantic, no_warn_empty_casts
Mit neuem Driver gibt es eine Warnung im Falle unwirksamer
casts, wenn warn_empty_casts an ist. Mit pedantic werden die
Warnungen zu einem Fehler.
Daher das globale pedantic in secure/ und std/ ausgeschaltet
und ein globales no_warn_empty_casts gesetzt, bis wir uns
einigermassen bereinigt haben.
Change-Id: Iabc89703948c7691db330467b7f90e337e6a8a26
diff --git a/secure/master/players_deny.c b/secure/master/players_deny.c
index 20cf7cb..7528e74 100644
--- a/secure/master/players_deny.c
+++ b/secure/master/players_deny.c
@@ -8,7 +8,7 @@
#pragma no_shadow
#pragma verbose_errors
#pragma combine_strings
-#pragma pedantic
+//#pragma pedantic
#pragma range_check
#pragma warn_deprecated