On Sunday 11 July 2004 09:30, Lubomir Sedlacik wrote: > you can either: > > a) add PATCHFILES to gdb's Makefile > b) add the patch to LOCALPATCHES tree c) add the patch to the patches directory with a name of patch-local-<something> (or is this usage now deprecated?) cheers mark