# HG changeset patch # User Doug Simon # Date 1400188368 -7200 # Node ID e563b7668db578b2003037b5741a4361fbf7cb55 # Parent 5f1373b3527ddced1ac1cf22accf455e9441908e# Parent 5ec52f033e588f6f198d5e8bbc8de953b24025af Merge. diff -r 5f1373b3527d -r e563b7668db5 mxtool/mx.py --- a/mxtool/mx.py Thu May 15 22:47:28 2014 +0200 +++ b/mxtool/mx.py Thu May 15 23:12:48 2014 +0200 @@ -603,7 +603,7 @@ if includedInJDK and java().javaCompliance >= JavaCompliance(includedInJDK): return None - return _download_file_with_sha1(self.name, path, self.urls, self.sha1, sha1path, resolve, self.optional) + return _download_file_with_sha1(self.name, path, self.urls, self.sha1, sha1path, resolve, not self.optional) def get_source_path(self, resolve): if self.sourcePath is None: