diff options
Diffstat (limited to 'third_party')
| -rw-r--r-- | third_party/nix/README.md | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/third_party/nix/README.md b/third_party/nix/README.md index 36ba7d0c2742..4bb58968313d 100644 --- a/third_party/nix/README.md +++ b/third_party/nix/README.md @@ -147,8 +147,11 @@ cd ~/build/tvix nix-shell $DEPOT_PATH -A third_party.nix.build-shell # Disable clang-tidy for quicker builds -cmake $DEPOT_PATH -DCLANG_TIDY_PATH="" +cmake $DEPOT_PATH/third_party/nix/ -DCLANG_TIDY_PATH="" make -j16 -l12 + +# Run tests +make test ``` ## Contributing to the fork |