Skip to content

Commit

Permalink
Add -j to make command
Browse files Browse the repository at this point in the history
  • Loading branch information
Sainan committed Dec 9, 2023
1 parent 0c4fa4c commit e01dc47
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/Getting Started.md
Original file line number Diff line number Diff line change
Expand Up @@ -84,7 +84,7 @@ This will build Pluto without Soup linked in, severely limiting the standard lib

You can simply run the make command:
```
make PLAT={yourplatform}
make -j PLAT={yourplatform}
```
The platform list can be found [here](https://github.com/PlutoLang/Pluto/blob/main/src/Makefile#L38).

Expand Down

0 comments on commit e01dc47

Please sign in to comment.