diff options
author | Anas Nashif <anas.nashif@intel.com> | 2012-10-11 14:47:26 -0700 |
---|---|---|
committer | Anas Nashif <anas.nashif@intel.com> | 2013-02-02 16:44:15 -0800 |
commit | f14f385ebf87e9d4d0cd54da521fa9b0a353ce3d (patch) | |
tree | e1523e2d1cad2c484390dfe2167b17e32ed97cf5 /scripts/check-files | |
parent | e84db2e0548ad843a7645d436694c49b4bf6c6f9 (diff) | |
download | librpm-tizen-f14f385ebf87e9d4d0cd54da521fa9b0a353ce3d.tar.gz librpm-tizen-f14f385ebf87e9d4d0cd54da521fa9b0a353ce3d.tar.bz2 librpm-tizen-f14f385ebf87e9d4d0cd54da521fa9b0a353ce3d.zip |
Exclude /usr/share/info/dir from check-files.
Diffstat (limited to 'scripts/check-files')
-rwxr-xr-x | scripts/check-files | 4 |
1 files changed, 3 insertions, 1 deletions
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 |