tree 11b045a139f7ac11538dcddb10763217377b9799
parent 8127d1ab65d2a775b9be871158dfe3a8d9898611
author Davide Pesavento <davide.pesavento@lip6.fr> 1535228683 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1535229077 -0400

build: check for linux/genetlink.h

Change-Id: Id18fcc81a49e769a05c4416cdce03022a2179051
Refs: #4020