Index: third_party/devscripts/licensecheck.pl |
diff --git a/third_party/devscripts/licensecheck.pl b/third_party/devscripts/licensecheck.pl |
index bd60603ee564952f83c5f7e0d2253c77bd875056..701fe4a933e0139a04273a96e9f202702ef2dd69 100755 |
--- a/third_party/devscripts/licensecheck.pl |
+++ b/third_party/devscripts/licensecheck.pl |
@@ -577,6 +577,10 @@ sub parselicense($) { |
$license = $license . "with libtool exception"; |
} |
+ if ($licensetext =~ /The Khronos Group Inc. All Rights Reserved./) { |
Paweł Hajdan Jr.
2013/03/25 18:29:45
This is not enough. Let's remove this and match on
|
+ $license = $license . "Khronos Group"; |
+ } |
+ |
$license = "UNKNOWN" if (!length($license)); |
# Remove trailing spaces. |