Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: amaranth-lang/amaranth
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 7a08901117b5
Choose a base ref
...
head repository: amaranth-lang/amaranth
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 91d6e4b22ad6
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Apr 12, 2020

  1. build.run: fix BuildProducts.extract to work with subdirectories. 

    Fixes #353.
    @whitequark
    whitequark committed Apr 12, 2020
    Copy the full SHA
    91d6e4b View commit details
Showing with 3 additions and 2 deletions.
  1. +3 −2 nmigen/build/run.py
5 changes: 3 additions & 2 deletions nmigen/build/run.py
View file
Original file line number Diff line number Diff line change
@@ -136,8 +136,9 @@ def extract(self, *filenames):
# On Windows, a named temporary file (as created by Python) is not accessible to
# others if it's still open within the Python process, so we close it and delete
# it manually.
file = tempfile.NamedTemporaryFile(prefix="nmigen_", suffix="_" + filename,
delete=False)
file = tempfile.NamedTemporaryFile(
prefix="nmigen_", suffix="_" + os.path.basename(filename),
delete=False)
files.append(file)
file.write(self.get(filename))
file.close()