diff options
| author |   Damjan Marion <damarion@cisco.com> | 2016-11-11 23:59:48 +0100 |
|---|---|---|
| committer |   Ed Warnicke <hagbard@gmail.com> | 2016-11-12 00:11:20 +0000 |
| commit | 7f3c36bb852017c2edbeb609a5e10446a7605157 (patch) | |
| tree | 72f324f37140306c1a522b46792a36e041c9ab26 /build-root/deb/debian | |
| parent | ad95b5df2728f9061f8cd8c3d06a41a9c2c943bd (diff) | |
Use gcc for start in 'make verify'
Change-Id: I8ef5f8aeb9af5127337163c4767bfa92b62f8175
Signed-off-by: Damjan Marion <damarion@cisco.com>
Diffstat (limited to 'build-root/deb/debian')
0 files changed, 0 insertions, 0 deletions