parent
e66e34a6e9
commit
51eb611986
|
@ -242,8 +242,8 @@ main(int argc, char **argv)
|
||||||
}
|
}
|
||||||
Out = new std::ofstream(OutputFilename.c_str());
|
Out = new std::ofstream(OutputFilename.c_str());
|
||||||
|
|
||||||
// Make sure that the Out file gets unlink'd from the disk if we get a
|
// Make sure that the Out file gets unlink'd from the disk if we get a
|
||||||
// SIGINT
|
// SIGINT
|
||||||
RemoveFileOnSignal(OutputFilename);
|
RemoveFileOnSignal(OutputFilename);
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
|
@ -286,6 +286,7 @@ main(int argc, char **argv)
|
||||||
// Run our queue of passes all at once now, efficiently.
|
// Run our queue of passes all at once now, efficiently.
|
||||||
Passes.run(*M.get());
|
Passes.run(*M.get());
|
||||||
|
|
||||||
|
// Delete the ostream if it's not a stdout stream
|
||||||
if (Out != &std::cout) delete Out;
|
if (Out != &std::cout) delete Out;
|
||||||
|
|
||||||
return 0;
|
return 0;
|
||||||
|
|
Loading…
Reference in New Issue