From 3f0fbb3c61c6a8a107f04b876993d9a181744f25 Mon Sep 17 00:00:00 2001 From: Radon Rosborough Date: Mon, 20 Jul 2020 06:38:31 -0600 Subject: [PATCH] Make README more pessimistic --- README.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 55f2e37..946a214 100644 --- a/README.md +++ b/README.md @@ -43,9 +43,8 @@ container first: $ make docker -Note that building the image can take up to 45 minutes even on -high-end hardware and internet, and it requires about 15 GB of disk -space. +Note that building the image typically requires over an hour and 20 GB +of disk space. ## Flag