+ if (stat (builddir.to_str0 (), &statbuf) == 0)
+ dirs.push (builddir.to_str0 ());
+ else
+ {
+ dirs.push (prefix_directory + "/fonts/otf/");
+ dirs.push (prefix_directory + "/fonts/type1/");
+ dirs.push (prefix_directory + "/fonts/svg/");
+ }
+
+ for (int i = 0; i < dirs.size (); i++)