# HG changeset patch # User Christophe Lincoln # Date 1304790418 -7200 # Node ID dad3f6ed300ccd0718faff95ad2b7fa6c55bb8f6 # Parent 5347bbd897868f8243e08ccc31303bc301296ba7 cook and cooker: dont add broken pkg to list if exist diff -r 5347bbd89786 -r dad3f6ed300c cook --- a/cook Sat May 07 19:23:24 2011 +0200 +++ b/cook Sat May 07 19:46:58 2011 +0200 @@ -82,7 +82,9 @@ # Log broken packages. broken() { - echo "$pkg" >> $broken + if ! grep -q "^$pkg$" $broken; then + echo "$pkg" >> $broken + fi } # Be sure package exists in wok. diff -r 5347bbd89786 -r dad3f6ed300c cooker --- a/cooker Sat May 07 19:23:24 2011 +0200 +++ b/cooker Sat May 07 19:46:58 2011 +0200 @@ -71,9 +71,11 @@ sed '/^.\//'d | sed '/^.hg/'d | tee -a $LOGS/commits.log } -# Log broken packages +# Log broken packages. broken() { - echo "$pkg" >> $broken + if ! grep -q "^$pkg$" $broken; then + echo "$pkg" >> $broken + fi } # Clean up after cook success.