K 10 svn:author V 2 pi K 8 svn:date V 27 2014-08-04T21:39:51.571294Z K 7 svn:log V 86 devel/gdb: change explicit gmake into MAKE_CMD with all extras Submitted by: antoine END