------- Comment #6 from tromey at gcc dot gnu dot org 2006-03-01 17:13 ------- That format is used for exporting preferences to a file.
It turns out they use a variant of that for writing the preferences to the preference store. However, how locking is handled is undocumented. So, interoperating looks difficult. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19613
