diff options
author | 2017-08-29 11:29:38 +0200 | |
---|---|---|
committer | 2017-08-29 17:19:59 +0200 | |
commit | 78d5abea8584041b872def163c39464087eed9ef (patch) | |
tree | a7fe6da09c35fa3b309dc553449149affe57b827 /src/vnet/session/segment_manager.h | |
parent | 47501da34fbd10e40ad0e6102a3c9b1ce82834ad (diff) |
silence makefile warning on ubuntu
shell error on ubuntu when OS_VERSION_ID == 16.04:
/bin/sh: 1: [: Illegal number: 16.04
Change-Id: I8db55f751ad7fb677a6565cbbce93a9bc08060b7
Signed-off-by: Gabriel Ganne <gabriel.ganne@enea.com>
Diffstat (limited to 'src/vnet/session/segment_manager.h')
0 files changed, 0 insertions, 0 deletions