build: Compile with -Wdiscarded-qualifiers.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 3 Jan 2018 17:50:15 +0000 (18:50 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 13 Mar 2018 02:28:10 +0000 (03:28 +0100)
commitda13797a119f8ce621a67145ca1c7acb8d338a3c
tree8e9214a9ad7471353999b8162feece25115beb93
parent7c19c1eab09b846325f20f49cf4d305e46917b83
build: Compile with -Wdiscarded-qualifiers.

This option is unsupported (but warnings are invariably enabled) for
old gcc versions including 4.2.2. It is supported but not enabled by
default for vanilla gcc-5.5.0, but is enabled for the gcc versions
which ship with Ubuntu-14.04 (4.8.4) and Ubuntu-16.04 (5.4.0).

This patch enables the warning everywhere. We have to employ the
cc-option macro to determine whether the option is supported.
Makefile.real