Blame SOURCES/make-3.82-jobserver-tokens.patch

d85e8e
diff -Nrup a/main.c b/main.c
d85e8e
--- a/main.c	2016-07-05 17:44:14.957064711 -0400
d85e8e
+++ b/main.c	2016-07-05 17:47:26.681702820 -0400
d85e8e
@@ -3147,7 +3147,8 @@ clean_jobserver (int status)
d85e8e
                "INTERNAL: Exiting with %u jobserver tokens (should be 0)!",
d85e8e
                jobserver_tokens);
d85e8e
       else
d85e8e
-        while (jobserver_tokens--)
d85e8e
+        /* Don't write back the "free" token */
d85e8e
+        while (--jobserver_tokens)
d85e8e
           {
d85e8e
             int r;
d85e8e