tree 5ba12f5940147aa36cb4eef0649cac11c66e3d89
parent c687af62d12d05a3f4d58ec8c49d09f41b9b8d72
author Davide Pesavento <davide.pesavento@lip6.fr> 1525998003 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1525998647 -0400

build: require gcc >= 5.3

Change-Id: Ie8877a9047c96030f138745a19768fcfa11da855
Refs: #4462