Commit bf49dc0b authored by Holger Levsen's avatar Holger Levsen

reproducible: zombies are hard to deal with

parent 5cde8a7b
...@@ -115,7 +115,7 @@ if [ -s $RESULT ] ; then ...@@ -115,7 +115,7 @@ if [ -s $RESULT ] ; then
cat $RESULT cat $RESULT
echo echo
ZOMBIES=$(echo $RESULT | cut -d " " -f1 | xargs echo) ZOMBIES=$(echo $RESULT | cut -d " " -f1 | xargs echo)
echo "kill -9 $ZOMBIES" echo "kill -9 $(cat $ZOMBIES)"
echo "Please cleanup manually." echo "Please cleanup manually."
echo echo
DIRTY=true DIRTY=true
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment