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
Running dsc --log benchmark.dsc will create an additional file benchmark.log containing either (1) the name of an output file whenever it is written, or (2) the names of all output files, which an additional label indicating whether the file is new, modified, or unchanged. Option (2) is preferred, but either (1) or (2) would be sufficient to resolve this issue.
The text was updated successfully, but these errors were encountered:
Running
dsc --log benchmark.dsc
will create an additional filebenchmark.log
containing either (1) the name of an output file whenever it is written, or (2) the names of all output files, which an additional label indicating whether the file is new, modified, or unchanged. Option (2) is preferred, but either (1) or (2) would be sufficient to resolve this issue.The text was updated successfully, but these errors were encountered: