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
The current build system uses separate makefiles for Windows and Linux with configuration in make_inc.windows and make_inc.linux. How does this work at your end, or what would be convenient alternative approaches?