diff options
author | Justin Bedo <cu@cua0.org> | 2019-12-17 12:32:25 +1100 |
---|---|---|
committer | Justin Bedo <cu@cua0.org> | 2019-12-17 12:32:45 +1100 |
commit | eb2769421dc7fce6de81c6bf79946b2f050c215b (patch) | |
tree | 486a58232ff57e87a2a12eb909109f4be24e6cd5 /tools/manta.nix | |
parent | e136c6f6027bcc125f3ab7885e37d79380a81e54 (diff) |
manta: make multithreaded and apply execution context
Diffstat (limited to 'tools/manta.nix')
-rw-r--r-- | tools/manta.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/manta.nix b/tools/manta.nix index aa8b762..8136fa7 100644 --- a/tools/manta.nix +++ b/tools/manta.nix @@ -3,5 +3,5 @@ with bionix; { - call = callBionix ./manta-call.nix; + call = callBionixE ./manta-call.nix; } |