mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #6848 from OPpuolitaival/licence_check
Check that no GPL licence inside codepull/6969/merge
commit
0e7561f2b8
|
|
@ -260,3 +260,9 @@ matrix:
|
|||
script:
|
||||
# Check that no changes after clone. This check that .gitattributes is used right way.
|
||||
- git diff --exit-code
|
||||
|
||||
- env:
|
||||
- NAME=licence_check
|
||||
script:
|
||||
- echo 'Checking that there is no GPL licence text in code'
|
||||
- ! git grep -q --ignore-case "gnu general public";
|
||||
|
|
|
|||
Loading…
Reference in New Issue