From 744b5209108358da6833958aeb4c7e48346211f4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= Date: Thu, 26 Nov 2020 10:45:18 +0100 Subject: [PATCH] Skip download by default --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 13ea60a..d59048f 100755 --- a/build.sh +++ b/build.sh @@ -25,7 +25,7 @@ git_treeish="master" build_classical=1 build_mono=1 force_download=0 -skip_download=0 +skip_download=1 skip_git_checkout=0 while getopts "h?r:u:p:v:g:b:fsc" opt; do