diff options
| author |   Gabriel Ganne <gabriel.ganne@enea.com> | 2017-08-29 11:29:38 +0200 |
|---|---|---|
| committer | Gabriel Ganne <gabriel.ganne@enea.com> | 2017-08-29 17:19:59 +0200 |
| commit | 78d5abea8584041b872def163c39464087eed9ef (patch) | |
| tree | a7fe6da09c35fa3b309dc553449149affe57b827 /src/svm/dir.dox | |
| 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/svm/dir.dox')
0 files changed, 0 insertions, 0 deletions