diff options
author | 2016-11-11 23:31:55 +0100 | |
---|---|---|
committer | 2016-11-11 23:31:55 +0100 | |
commit | 4cecc611bedde8a9a1b2ad1454dd84f30a1652cb (patch) | |
tree | 0b5802a8bd035ccd27ec4862389ef48045dbd504 /.gitignore | |
parent | 49c0fcabada485d4f0e4bf9e2d5e26b79bbcc645 (diff) |
Add 'make verify' target to top-level makefile
Change-Id: I992df2b6ded9533d32f5f936e6d651055061f054
Signed-off-by: Damjan Marion <damarion@cisco.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions