skidracer #1 Until the source code to bmk is released you would need to use the verbose option of bmk to output a build file and mangle both the c compiler and linker options to generate a new makefile for a gdb debug version (I would imagine).