ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix for license check job. 

Somehow, having the '!' before a single command in a single line parses out the '!'.
pull/9492/head
Cruz Monrreal II‰ 2019-01-24 10:11:13 -06:00 committed by Cruz Monrreal II
parent 615ed31f7a
commit 31ab61ed80
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.travis.yml
View File

@ -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