diff options
| author | Zach White <skullydazed@gmail.com> | 2020-11-30 11:19:44 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-30 11:19:44 -0800 |
| commit | 8724a70c4c4329f09b9cf6dbda4dbefaaf3a3ee9 (patch) | |
| tree | 19959fcac0e855b7187ecff8e94824d8f05a4ed4 /platforms | |
| parent | 485e4524f47f15d9581c1cd2619bbcd321380f68 (diff) | |
Reduce travis load by replacing an exclusive grep with an inclusive grep (#10964)
* add -n to avoid compiling
* switch to an include rather than exclude strategy
Diffstat (limited to 'platforms')
0 files changed, 0 insertions, 0 deletions