File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change 99#include < cstdio>
1010#include < string>
1111#include < thread>
12- #include < utility>
1312#include < vector>
1413#include < cstring>
1514
@@ -1019,10 +1018,12 @@ int main(int argc, char ** argv) {
10191018
10201019 bool open (const char * ext, const char * function) {
10211020 if (is_stdout) {
1022- if (std::exchange ( used_stdout, true ) ) {
1021+ if (used_stdout) {
10231022 fprintf (stderr, " warning: Not appending multiple file formats to stdout\n " );
10241023 return false ;
10251024 }
1025+
1026+ used_stdout = true ;
10261027#ifdef _WIN32
10271028 fout = std::ofstream{" CON" };
10281029#else
@@ -1032,6 +1033,7 @@ int main(int argc, char ** argv) {
10321033 // Also assuming /dev is mounted
10331034 return true ;
10341035 }
1036+
10351037 fname_out.resize (basename_length);
10361038 fname_out += ext;
10371039 fout = std::ofstream{fname_out};
You can’t perform that action at this time.
0 commit comments