2011-11-13  Paul Smith  <psmith@gnu.org>

	* main.c (clean_jobserver): Don't write the free token to the pipe.

	Change suggested by Tim Newsome <tnewsome@aristanetworks.com>

--- a/main.c

+++ b/main.c

@@ -3116,7 +3116,8 @@ clean_jobserver (int status)

                "INTERNAL: Exiting with %u jobserver tokens (should be 0)!",

                jobserver_tokens);

       else

-        while (jobserver_tokens--)

+        /* Don't write back the "free" token */

+        while (--jobserver_tokens)

           {

             int r;