Subject: bug#24585: 25.1; avoid hack in ggtags.el to run compilation-auto-jump timer

From: Stefan Monnier <[email-masked]>
Date: Mon, 03 Oct 2016 14:45:57 -0400

>>> The first timer is compilation-auto-jump which is installed (by compile)
>>> at the start of compilation.
>>> The second timer is a cleanup timer which is installed (by ggtags) when
>>> compilation finishes and there is 0 or 1 match.
>>> The second timer kills the buffer (among other things) that the first
>>> timer depends on.
>> So we can fix the bug by making the timer's code check if the buffer is
>> still live?
> No.  We still want compilation-auto-jump to happen first.  Otherwise we
> just find 1 match and clean up without jumping to the match.

Then why does the second timer kill the buffer so hastily?

        Stefan