changeset 52917 | 0c637249d934 |
parent 52798 | 5d292d59fe40 |
child 52930 | df629b081ff6 |
--- a/make/conf/jib-profiles.js Sun Dec 09 19:18:27 2018 -0800 +++ b/make/conf/jib-profiles.js Mon Dec 10 09:37:18 2018 +0100 @@ -425,7 +425,7 @@ "windows-x64": { target_os: "windows", target_cpu: "x64", - dependencies: ["devkit", "graalunit_lib"], + dependencies: ["devkit", "pandoc", "graalunit_lib"], configure_args: concat(common.configure_args_64bit), },