{
try
{
- IO::File in((package.get_source()/".profile").str());
+ IO::BufferedFile in((package.get_source()/".profile").str());
string profile;
in.getline(profile);
set_option("profile", profile);
if(!package.get_builder().get_dry_run())
{
- IO::File out((package.get_source()/".profile").str(), IO::M_WRITE);
+ IO::BufferedFile out((package.get_source()/".profile").str(), IO::M_WRITE);
IO::print(out, "%s\n", profile);
}
if(i!=options.end())
fn=package.get_source()/(".options."+i->second.value+".cache");
- IO::File out(fn.str(), IO::M_WRITE);
+ IO::BufferedFile out(fn.str(), IO::M_WRITE);
for(i=options.begin(); i!=options.end(); ++i)
IO::print(out, "option \"%s\" \"%s\";\n", i->second.name, i->second.value);
try
{
- IO::File inf(fn.str());
- IO::Buffered in(inf);
+ IO::BufferedFile in(fn.str());
mtime=Time::TimeStamp::from_unixtime(FS::stat(fn).st_mtime);