mirror of https://github.com/ARMmbed/mbed-os.git
travis: add license check for gnu library license
parent
32445ae326
commit
57870204eb
|
@ -268,3 +268,4 @@ matrix:
|
||||||
script:
|
script:
|
||||||
- echo 'Checking that there is no GPL licence text in code'
|
- 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 general public";
|
||||||
|
- ! git grep -q --ignore-case "gnu library general public";
|
||||||
|
|
Loading…
Reference in New Issue