diff --git a/.travis.yml b/.travis.yml
index 7ec9015009..c8ffd14a29 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -268,3 +268,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";