From 8efcb3db1bce551df4f9dde3ce85af2ab8b4a2ae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Wed, 27 Jul 2016 14:14:51 +0200
Subject: [PATCH] improve regexp to match any license header included

---
 Scripts/developer_scripts/add_license_in_pkg_header.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Scripts/developer_scripts/add_license_in_pkg_header.py b/Scripts/developer_scripts/add_license_in_pkg_header.py
index a5de3c26a9d..a3f9c2e0e2f 100644
--- a/Scripts/developer_scripts/add_license_in_pkg_header.py
+++ b/Scripts/developer_scripts/add_license_in_pkg_header.py
@@ -14,7 +14,7 @@ import re
 def add_license_include_in_file(package_name, fname):
   # first, see if the include directive is already there
   with codecs.open(fname, encoding='utf-8') as f:
-    if any(re.search("CGAL/license/"+package_name+".h", line) for line in f):
+    if any(re.search("#include\s*<CGAL/license/", line) for line in f):
       return # include directive already there
 
   # include directive not already there