Michael Brown
e505ceb942
Revert "Cope with builds with differing debug options within a second of each"
This reverts commit fc5f6c9de2.
Reverted commit breaks the much more common case of changing the debug
options in subsequent builds without any code changes.