mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-17 11:04:10 -04:00
Code Issues Packages Projects Releases Wiki Activity

dev-embedded/esp-idf: remove unused patch

Browse Source 
Signed-off-by: David Roman <davidroman96@gmail.com>
This commit is contained in:
David Roman
2024-10-07 12:02:35 +02:00
parent 5e35aab15f
commit 92fcc248c9
1 changed files with 0 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
dev-embedded/esp-idf/files/allow-system-install-esp-idf-5.1.2.patch
View File

@@ -1,12 +0,0 @@
diff --git a/tools/idf_tools.py b/tools/idf_tools.py
index 8a17ed224d..2103e9d60a 100755
--- a/tools/idf_tools.py
+++ b/tools/idf_tools.py
@@ -2113,6 +2113,7 @@ def action_install_python_env(args): # type: ignore
def action_check_python_dependencies(args): # type: ignore
+ return
use_constraints = not args.no_constraints
req_paths = get_requirements('') # no new features -> just detect the existing ones