lintian: r302 - in trunk: checks debian

[jeroen@wolffelaar.nl]

Author: jeroen
Date: 2004-06-29 21:50:10 +0200 (Tue, 29 Jun 2004)
New Revision: 302

Modified:
   trunk/checks/binaries
   trunk/debian/changelog
Log:
* checks/binaries:
  + [JvW] Exempt ocaml binaries from the 'is the binary stripped?' test,
    since they cannot be stripped harmlessly. See #256900 (Closes: #252695)


Modified: trunk/checks/binaries
===================================================================
--- trunk/checks/binaries	2004-06-29 16:05:10 UTC (rev 301)
+++ trunk/checks/binaries	2004-06-29 19:50:10 UTC (rev 302)
@@ -36,6 +36,7 @@
 my %RPATH;
 my %NEEDED;
 my %CXXABI;
+my %OCAML;
 
 # read architecture file
 if (open(IN,"fields/architecture")) {
@@ -80,6 +81,10 @@
 		    tag "binary-compiled-with-profiling-enabled", "$file";
 		}
 	    }    
+
+	    if ($foo eq '.text' and $sec eq 'Base' and $sym eq 'caml_main') {
+		$OCAML{$file} = 1;
+	    }
 	}
     } else {
 	if (m/^\s*NEEDED\s*(\S+)/o) {
@@ -134,7 +139,9 @@
     if ($info =~ m,not stripped\s*$,o) {
 	# Is it an object file (which generally can not be stripped),
 	# a kernel module, or perhaps a debugging package? 
-	unless ($file =~ m,\.k?o$, or $pkg =~ m/-dbg$/ or $pkg =~ m/debug/) {
+	# Ocaml executables are exempted, see #252695
+	unless ($file =~ m,\.k?o$, or $pkg =~ m/-dbg$/ or $pkg =~ m/debug/
+		or exists $OCAML{$file}) {
 	    tag "unstripped-binary-or-object", "$file";
 	}
     } else {

Modified: trunk/debian/changelog
===================================================================
--- trunk/debian/changelog	2004-06-29 16:05:10 UTC (rev 301)
+++ trunk/debian/changelog	2004-06-29 19:50:10 UTC (rev 302)
@@ -15,6 +15,8 @@
     + [FL] Change check for binary-compiled-with-profiling-enabled on
       hppa to look for _mcount instead of __gmon_start__ since the
       latter can't be used as an indicator on that arch (Closes: #207063)
+    + [JvW] Exempt ocaml binaries from the 'is the binary stripped?' test,
+      since they cannot be stripped harmlessly. See #256900 (Closes: #252695)
   * checks/changelog-files{,.desc}:
     + [HE] New check latest-debian-changelog-entry-without-new-date, comparing
       the dates of the last 2 changelog entries. (Closes: #111215)