[Piuparts-commits] [SCM] piuparts git repository branch, piatti, updated. 0.44-627-g9f46e19
Andreas Beckmann
debian at abeckmann.de
Fri Jun 1 17:37:14 UTC 2012
The following commit has been merged in the piatti 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
More information about the Piuparts-commits
mailing list