Name conflict in creating a .doo archive

[davidcok]

Dafny version

4.1

Code to produce this issue

If a folder M-lib (with contents) exists when creating a M.doo output file (with `dafny build -t:lib ... --output:M.doo`), then the resulting M.doo archive will contain whatever was originally in M-lib before the operation began.

Command to run and resulting output

No response

What happened?

Use a new, clean temporary folder to assemble the files, zip them up, and then delete the temporary folder.

What type of operating system are you experiencing the problem on?

Mac