From e01dc4754abf0a2ac5a84c58fc2819f7e5accd76 Mon Sep 17 00:00:00 2001 From: Sainan Date: Sat, 9 Dec 2023 19:56:56 +0100 Subject: [PATCH] Add -j to make command --- docs/Getting Started.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Getting Started.md b/docs/Getting Started.md index 98f02d84b..8a1ce23cd 100644 --- a/docs/Getting Started.md +++ b/docs/Getting Started.md @@ -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).