Commit 49d04cfb authored by John van Groningen's avatar John van Groningen
Browse files

Merge branch 'wmt' into 'master'

always write modification time to prevent re-compilation by cpm

See merge request !18
parents b2dfdd46 05e82f35
Pipeline #49173 passed with stage
in 17 seconds
......@@ -2078,6 +2078,8 @@ static int compile_project_node (P_NODE project_node)
if (funcmayfail_warning_or_error)
*arg++=funcmayfail_warning_or_error==2 ? "-emf" : "-wmf";
*arg++="-wmt"; // Always write modification time to prevent re-compilation by cpm.
*arg++="-o";
*arg++=abc_file_name;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment