diff options
| author |   Cédric Ollivier <cedric.ollivier@orange.com> | 2019-04-13 17:17:08 +0200 |
|---|---|---|
| committer | Cédric Ollivier <cedric.ollivier@orange.com> | 2019-04-13 19:18:00 +0200 |
| commit | 03c35e95fc852e44f446780d9137fe4c9a3f2ebe (patch) | |
| tree | c0dce97758c4abbc4549bc2003b48720093c51f4 /.gitmodules | |
| parent | 43e0e08bc2a1a294c582bf79300c4ef34242974d (diff) | |
Stop generating policies for unexecuted services
It saves time when cross-compiling smoke.
Then it allows building arm (Raspberry PI) smoke via travis-ci [1].
[1] https://travis-ci.org/collivier/functest/jobs/519630251
Change-Id: Ifbfcc0d726a8f74fd8a861bb52d6ea2543870e0c
Signed-off-by: Cédric Ollivier <cedric.ollivier@orange.com>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions