[Piuparts-commits] [SCM] piuparts git repository branch, develop, updated. 0.44-627-g9f46e19

[Andreas Beckmann]

The following commit has been merged in the develop branch:
commit 50cbe4d458ada4c2fc1d5252ff45f05fce566de3
Author: Andreas Beckmann <debian at abeckmann.de>
Date:   Sun Apr 15 17:02:37 2012 +0200

    piuparts issue: update-binfmts race
    
    there may be a race with update-binfmts
    
    Signed-off-by: Andreas Beckmann <debian at abeckmann.de>

diff --git a/home/piupartsm/bin/detect_piuparts_issues b/home/piupartsm/bin/detect_piuparts_issues
index 8ffb641..90efaed 100755
--- a/home/piupartsm/bin/detect_piuparts_issues
+++ b/home/piupartsm/bin/detect_piuparts_issues
@@ -57,6 +57,7 @@ for SECTION in $SECTIONS ; do
 		rgrep -l -e "^IndentationError:" $MASTER/$SECTION/$subdir >> $FILE
 		rgrep -l -e "^SyntaxError:" $MASTER/$SECTION/$subdir >> $FILE
 		# Python errors from maintainer scripts etc. would be indented by 2 spaces, so don't match here.
+		rgrep -l -e 'update-binfmts: warning: unable to close /proc/sys/fs/binfmt_misc/register: Invalid argument' $MASTER/$SECTION/$subdir >> $FILE
 	done
 done
 if [ -s $FILE ] ; then 

-- 
piuparts git repository