K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2016-11-19T17:50:17.361083Z
K 7
svn:log
V 97
devel/ccdoc is not jobs safe

It can attempt to use bin_opt_gcc_ directory before it is created.

END