A created makefile can usually be used for a build on the server side without any modification. However, the makefile can be edited.
Editing a makefile on the local personal computer:
The edited makefile is automatically sent to the server before it is used for a Build or a Rebuild,
Editing a makefile on the server:
During creation of another makefile, a confirmation message asks if you want to replace the edited makefile on the server with the makefile being created. If "No", makefile creation is canceled.
