make/conf/jib-profiles.js
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),
         },