Topic: Warning about makefile names
I've noticed that the Makefile name which we can set in Options>Make&Makefile seems to become assigned to SF, not to the current project. Therefore, setting a makefile name to Makefile32 in a 32-bit version of a project and to Makefile64 in the 64-bit version of the same project won't behave as intended. The makefile will always remain whatever it was last set to, regardless of which project has been saved or loaded.
---
J.