diff options
author | Damjan Marion <damarion@cisco.com> | 2017-08-21 22:37:39 +0200 |
---|---|---|
committer | Florin Coras <florin.coras@gmail.com> | 2017-08-22 00:41:42 +0000 |
commit | 3600b67e4fbb3088f13cb75c322c5ef37e6e57a8 (patch) | |
tree | 5fd41bbe9aa2916acd6d6e6d306e67d387bf8956 /src/vnet/vxlan-gpe | |
parent | 844e0eba7708f4f39d17436d2b352392ab75e4cf (diff) |
ping: remove unnecesary x86 intrinsics #include
This include file is present only on x86 so it breaks non-x86 builds.
Change-Id: I6406b0b36f207b684535961545e95dbba707d267
Signed-off-by: Damjan Marion <damarion@cisco.com>
Diffstat (limited to 'src/vnet/vxlan-gpe')
0 files changed, 0 insertions, 0 deletions