tree 5c8cbafd4eac1fca8119018e36ef8ab7c65683fb
parent 7ea4a03dfec8fd917fa08d5e21c0519a02a8e7a2
author Zesstra <zesstra@zesstra.de> 1574799603 +0100
committer MG Mud User <mud@mg.mud.de> 1574799603 +0100

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