K 10 svn:author V 3 dim K 8 svn:date V 27 2011-11-28T17:56:46.562092Z K 7 svn:log V 107 Add WITH_LIBCPLUSPLUS under tools/build/options; the knob itself was already added in a previous revision. END