tree fd436fb3323a00a2712d492f0a5c6912e7b985a8
parent 80782e06cd2589d3e3f9926dcdb1a70480eaf7fe
author Davide Pesavento <davide.pesavento@lip6.fr> 1495253210 -0400
committer Alexander Afanasyev <alexander.afanasyev@ucla.edu> 1495750335 -0700

util: NetworkMonitor: fix build on unsupported platforms

Change-Id: I08ef2c3858e0aea35ec2de739ddd86734b40358d
Refs: #3353