Closed gtjoseph closed 2 weeks ago
cherry-pick-to: 18 cherry-pick-to: 20 cherry-pick-to: 21 cherry-pick-to: certified/18.9 cherry-pick-to: certified/20.7
Successfully merged to branch master and cherry-picked to ["18","20","21","certified/18.9","certified/20.7"]
Since DETECT_DEADLOCKS is now split from DEBUG_THREADS, it must always be included in buildopts.h instead of only when ADD_CFLAGS_TO_BUILDOPTS_H is defined. A SEGV will result otherwise.
Resolves: #719