tree d14e406a3462f08f29514a87709f6951351eb2d6
parent d606ecf0c85564e5ef4808245f081b19b8e84f5a
author Davide Pesavento <davide.pesavento@lip6.fr> 1519268661 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1519275067 -0500

build: restore checking of compiler flags

Accidentally removed in commit bb058c0466076c2f72f52f7778ae0082ea45e326

Fix resulting warnings

Change-Id: I619276a520497e3b94298902b180fdbbd11efd2c