summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2023-08-30 08:37:09 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-08-30 08:37:09 +0200
commit90b57ca0919040c2a7774458650522a206ea13e5 (patch)
tree59313c7a1d78510d69dda3582b6d0eb96a06b64c
parent63dcf6d2e7f20741d35e5cd627e0d8d54c0adfc2 (diff)
Building rust natively is not that large
-rw-r--r--community/gsoc/project_ideas/rust.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/community/gsoc/project_ideas/rust.mdwn b/community/gsoc/project_ideas/rust.mdwn
index edbd7ca4..5395fd54 100644
--- a/community/gsoc/project_ideas/rust.mdwn
+++ b/community/gsoc/project_ideas/rust.mdwn
@@ -109,7 +109,7 @@ And then run from `rust/`
./x build
DESTDIR=/where/you/want ./x install
-Expect about 20GB disk usage and several hours duration. You also need quite
+Expect about 15GB disk usage and several hours duration. You also need quite
some ram, 4GB may be needed.
---