From f14f385ebf87e9d4d0cd54da521fa9b0a353ce3d Mon Sep 17 00:00:00 2001
From: Anas Nashif <anas.nashif@intel.com>
Date: Thu, 11 Oct 2012 14:47:26 -0700
Subject: Exclude /usr/share/info/dir from check-files.

---
 scripts/check-files | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'scripts/check-files')

diff --git a/scripts/check-files b/scripts/check-files
index cbdf740bd..eb2f478db 100755
--- a/scripts/check-files
+++ b/scripts/check-files
@@ -22,7 +22,9 @@ LC_ALL=C sort > $FILES_RPM
 
 diff -d "$FILES_DISK" "$FILES_RPM" | grep "^< " | cut -c3- | 
 while read f; do
-	echo $f | sed -e "s#^$RPM_BUILD_ROOT#   #g"
+	if test "$RPM_BUILD_ROOT/usr/share/info/dir" != "$f" ; then
+		echo $f | sed -e "s#^$RPM_BUILD_ROOT#   #g"
+	fi
 done
 
 rm -f $FILES_DISK
-- 
cgit v1.2.3