Skip to content
Snippets Groups Projects
Commit efcc4841 authored by rswindell's avatar rswindell
Browse files

Flush stdout before calling system();

parent 565930ad
No related branches found
No related tags found
No related merge requests found
......@@ -433,6 +433,7 @@ int main(int argc, char **argv)
int exec(char* cmd)
{
printf("%s\n",cmd);
fflush(stdout);
return(system(cmd));
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment