Merge pull request #2015 from antmicro/fix-docker-local-dependencies

Fix building Docker image with local dependencies
The-OpenROAD-Project · May 18, 2024 · 5f78b5e · 5f78b5e
2 parents 51b20d1 + aa3853d
commit 5f78b5e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.dockerignore b/.dockerignore
@@ -31,3 +31,6 @@ core*
 # git
 .git
 .gitignore
+
+# local dependencies
+dependencies/