tree 91f7e1d053868b6648537066072822310c29ae05
parent 5de006becbb60e4a8bd6492143b53b3d33c9961c
author Davide Pesavento <davide.pesavento@lip6.fr> 1408994230 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> 1414629862 +0100

Always build in C++11 mode.

Change-Id: Ia25c738f63aee1b70e61f841ff52a151446ac220
Refs: #1930