diff options
Diffstat (limited to 'stage1')
| -rw-r--r-- | stage1/Stage1Lib.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stage1/Stage1Lib.scala b/stage1/Stage1Lib.scala index 71e6ee5..f2f468c 100644 --- a/stage1/Stage1Lib.scala +++ b/stage1/Stage1Lib.scala @@ -56,8 +56,8 @@ class Stage1Lib( logger: Logger ) extends BaseLib{ def write(file: File, content: String, options: OpenOption*): File = Stage0Lib.write(file, content, options:_*) - def download(url: URL, target: File, sha1: Option[String]): Boolean = { - if( target.exists ){ + def download(url: URL, target: File, sha1: Option[String], replace: Boolean = false): Boolean = { + if( target.exists && !replace ){ logger.resolver(green("found ") ++ url.string) true } else { |