patch tor
This commit is contained in:
parent
a34d21318d
commit
b7990eb365
|
@ -140,6 +140,7 @@ in {
|
|||
tor = overrideAttrsHost (attrs: {
|
||||
configureFlags = attrs.configureFlags or [ ]
|
||||
++ [ "--disable-tool-name-check" ];
|
||||
patches = attrs.patches or [ ] ++ [ ./tor/genode.patch ];
|
||||
postPatch = null; # Avoid torsocks patching
|
||||
}) tor;
|
||||
|
||||
|
|
Loading…
Reference in New Issue