tools/python/pkglint/userland.py
changeset 495 4153db6738f5
parent 464 08f94c414553
child 623 15f87c23a86e
--- a/tools/python/pkglint/userland.py	Thu Aug 25 12:57:49 2011 -0700
+++ b/tools/python/pkglint/userland.py	Fri Aug 26 17:58:22 2011 -0700
@@ -224,6 +224,7 @@
 
 		ei = elf.get_info(path)
 		bits = ei.get("bits")
+		type = ei.get("type");
                 elems = os.path.dirname(path).split("/")
 
                 if ("amd64" in elems) or ("sparcv9" in elems) or ("64" in elems):
@@ -231,6 +232,16 @@
                 else:
                     path64 = False
 
+                if ("i86" in elems) or ("sparcv7" in elems) or ("32" in elems):
+                    path32 = True
+                else:
+                    path32 = False
+
+		# ignore 64-bit executables in normal (non-32-bit-specific)
+		# locations, that's ok now.
+		if (type == "exe" and bits == 64 and path32 == False and path64 == False):
+			return result
+
 		if bits == 32 and path64:
 			result = _("32-bit object '%s' in 64-bit path")
 		elif bits == 64 and not path64: