diff options
Diffstat (limited to 'docs/5 - Using the toolchain.txt')
| -rw-r--r-- | docs/5 - Using the toolchain.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/5 - Using the toolchain.txt b/docs/5 - Using the toolchain.txt index 4d61514b..eb8e1aa6 100644 --- a/docs/5 - Using the toolchain.txt +++ b/docs/5 - Using the toolchain.txt @@ -41,7 +41,7 @@ run: your-target-tuple-populate -s /your/root -d /your/root-populated This will copy /your/root into /your/root-populated, and put the needed and only -the needed libraries there. Thus you don't polute /your/root with any cruft that +the needed libraries there. Thus you don't pollute /your/root with any cruft that would no longer be needed should you have to remove stuff. /your/root always contains only those things you install in it. |