]> www.ginac.de Git - cln.git/blob - tests/.gdbinit
Work around g++ 4.0 "duplicated labels" problem.
[cln.git] / tests / .gdbinit
1 break cl_abort
2
3 define cprint
4 call ($1).debug_print()
5 end
6