Don't write one character at a time, it's inefficient

This commit is contained in:
Eelco Dolstra 2012-05-10 12:02:41 -04:00
parent 48effa116c
commit 8538953868

View file

@ -253,7 +253,6 @@ void run(Strings args)
Value v;
state.mkThunk_(v, e);
std::cout.setf(std::ios::unitbuf);
XMLWriter doc(true, std::cout);
XMLOpenElement root(doc, "jobs");
findJobs(state, doc, ArgsUsed(), autoArgs, v, "");