Severity: wishlist I find it annoying that compilation-start always asks before killing the previous (running) compilation process. I think process-query-on-exit-flag should be taken into account here.