From 242a0bc9acf6830c5480f3411d6dea303b92116c Mon Sep 17 00:00:00 2001
From: Alcaro <floating@muncher.se>
Date: Mon, 17 Sep 2018 04:26:11 +0200
Subject: [PATCH] Clarify disk requirements of profiler

---
 make.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make.sh b/make.sh
index 2044cac..573f49e 100755
--- a/make.sh
+++ b/make.sh
@@ -34,7 +34,7 @@ done
 
 if [ ! -e profile/choice ]; then
   while true; do
-    read -p "Do you wish to use profile-guided optimization? This will download a 100MB training corpus from the internet. (y/n)" yn
+    read -p "Do you wish to use profile-guided optimization? This will download 100MB data from the internet and use 200MB disk space. (y/n)" yn
     case $yn in
       [Yy]* ) profile/download.sh; break;;
       [Nn]* ) echo n > profile/choice; break;;