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/scripts/make-plugin-toolkit | |
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/scripts/make-plugin-toolkit')
0 files changed, 0 insertions, 0 deletions