[SCM] Git repository for devscripts branch, master, updated. v2.12.0-13-gfbc5e4f

[Benjamin Drung]

The following commit has been merged in the master branch:
commit 5bbfd78e75e0baadc62f8d44a4ef19dc94a14332
Author: Richard W.M. Jones <rjones at redhat.com>
Date:   Tue Jun 5 00:43:49 2012 +0300

    licensecheck: Check OCaml programs by default (*.ml, *.mli).

diff --git a/scripts/licensecheck.pl b/scripts/licensecheck.pl
index 4c1affe..7e130ca 100755
--- a/scripts/licensecheck.pl
+++ b/scripts/licensecheck.pl
@@ -163,7 +163,7 @@ my $default_ignore_regex = '
 $default_ignore_regex =~ s/^#.*$//mg;
 $default_ignore_regex =~ s/\n//sg;
 
-my $default_check_regex = '\.(c(c|pp|xx)?|h(h|pp|xx)?|f(77|90)?|p(l|m)|xs|sh|php|py(|x)|rb|java|vala|el|sc(i|e)|cs|pas|inc|dtd|xsl|mod|m|tex)$';
+my $default_check_regex = '\.(c(c|pp|xx)?|h(h|pp|xx)?|f(77|90)?|p(l|m)|xs|sh|php|py(|x)|rb|java|vala|el|sc(i|e)|cs|pas|inc|dtd|xsl|mod|m|tex|mli?)$';
 
 my $modified_conf_msg;
 

-- 
Git repository for devscripts