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
In win64 environment, a file to be linked may be of the form \server\path\to\obj
If the command line is too long, this is dumped into a response file, but the function build_diversion in reloc.ml, specifically converts file-paths to use "/" instead of "". As a result the above file is interpreted as an option to the "link" command then fails to link files.
There does not seem to be an easy workaround to this problem, as the option to use response file is not user-controllable
The text was updated successfully, but these errors were encountered:
In win64 environment, a file to be linked may be of the form \server\path\to\obj
If the command line is too long, this is dumped into a response file, but the function build_diversion in reloc.ml, specifically converts file-paths to use "/" instead of "". As a result the above file is interpreted as an option to the "link" command then fails to link files.
There does not seem to be an easy workaround to this problem, as the option to use response file is not user-controllable
The text was updated successfully, but these errors were encountered: