>>>>> "Bernd" == Bernd Kuhls <bernd.kuhls at t-online.de> writes: > libmudflap was removed in gcc 4.9: > https://gcc.gnu.org/wiki/Mudflap_Pointer_Debugging > Signed-off-by: Bernd Kuhls <bernd.kuhls at t-online.de> Committed, thanks. -- Bye, Peter Korsgaard