On Thursday, February 06, 2014 14:50:36 Eli Zaretskii wrote: > I noticed that gdbreplay is built, but not installed by "make > install". Is that on purpose? previous discussion: https://sourceware.org/ml/gdb-patches/2011-12/msg00915.html https://sourceware.org/ml/gdb-patches/2012-01/msg00002.html oh gawd, has it really been 2 years already ... -mike