tree 02e29025f14b4d167236186110e627ad12be7406
parent fd5de11497edd7cdb28e7eef60fa998a2ebd7f84
author Davide Pesavento <davide.pesavento@lip6.fr> 1446061817 +0100
committer Davide Pesavento <davide.pesavento@lip6.fr> 1446406128 +0100

build: enable -Wextra by default

Also delete redundant 'return 0' from configure code snippets.

Change-Id: Ie3618db4abece6fb2d8ec8b52b88e84b4eb3a5b0
Refs: #3293