Leahnaya/Flips
1
0
Fork 0
mirror of https://github.com/Alcaro/Flips.git synced 2026-09-07 01:56:07 -05:00
Code Issues Actions Packages Projects Releases Wiki Activity

Clarify disk requirements of profiler

Browse Source
This commit is contained in:
Alcaro
2018-09-17 04:26:11 +02:00
parent dad6aff01e
commit 242a0bc9ac
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
make.sh
View File

@@ -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;;