You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What I expect is that, if I run make again, the changes will get detected and rustc will be invoked again. What actually happens is that make reports that there's nothing to be done.
This is probably because rustc is waiting way too long to open the output file, so updates to source files while the compiler's running appear to "happen before" the output file from make's point of view.