diff options
| -rw-r--r-- | src/fix.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/fix.cc b/src/fix.cc index 8d5cc6bf8e0b..0d3ae9bff868 100644 --- a/src/fix.cc +++ b/src/fix.cc @@ -226,8 +226,6 @@ string instantiateDescriptor(string filename, if (rename(tmpFilename.c_str(), outFilename.c_str())) throw Error("cannot rename " + tmpFilename + " to " + outFilename); - cout << outFilename << endl; - /* Register it with Nix. */ registerFile(outFilename); @@ -245,7 +243,7 @@ void instantiateDescriptors(Strings filenames) it != filenames.end(); it++) { string filename = absPath(*it); - instantiateDescriptor(filename, done); + cout << instantiateDescriptor(filename, done) << endl; } } |