make/conf/jib-profiles.js
branchihse-manpages-branch
changeset 57046 bb6e39ffd206
parent 57033 f54811c07f2a
child 57049 d13c49f43710
--- a/make/conf/jib-profiles.js	Mon Nov 26 18:50:55 2018 +0100
+++ b/make/conf/jib-profiles.js	Mon Nov 26 18:52:20 2018 +0100
@@ -401,7 +401,7 @@
         "macosx-x64": {
             target_os: "macosx",
             target_cpu: "x64",
-            dependencies: ["devkit", "graalunit_lib"],
+            dependencies: ["devkit", "pandoc", "graalunit_lib"],
             configure_args: concat(common.configure_args_64bit, "--with-zlib=system",
                 "--with-macosx-version-max=10.9.0"),
         },