Merge pull request #7911 from 0xc0170/fix_license_check

travis: add license check for gnu library license
pull/8261/head
Martin Kojtal 2018-09-26 15:07:48 +02:00 committed by GitHub
commit c10a9b5f77
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -267,3 +267,4 @@ matrix:
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";