]> git.tuebingen.mpg.de Git - dss.git/commitdiff
build: Add two more warning options.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 7 Jun 2016 14:23:36 +0000 (16:23 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 21 Aug 2016 19:13:25 +0000 (21:13 +0200)
Both -Wunused-parameter and -Wshadow were added to gcc long ago. In
particular gcc-4.6.3, which ships with Ubuntu-12.04, supports them. It
should thus be safe to enable both warnings unconditionally.


No differences found