mirror of https://github.com/ARMmbed/mbed-os.git
Fix for license check job. Somehow, having the '!' before a single command in a single line parses out the '!'.
parent
e4b811d3a2
commit
3b3af7ad0d
|
@ -303,8 +303,10 @@ matrix:
|
|||
- NAME=licence_check
|
||||
script:
|
||||
- echo 'Checking that there is no GPL licence text in code'
|
||||
- ! git grep -q --ignore-case "gnu general public";
|
||||
- ! git grep -q --ignore-case "gnu library general public";
|
||||
- |
|
||||
! git grep -q --ignore-case "gnu general public";
|
||||
- |
|
||||
! git grep -q --ignore-case "gnu library general public";
|
||||
|
||||
- env:
|
||||
- NAME=include_check
|
||||
|
|
Loading…
Reference in New Issue