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

[Leo Liu]

On 2016-10-03 09:24 -0400, Stefan Monnier wrote:
>> 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.

Leo