Github user SleuthKid commented on a diff in the pull request:
https://github.com/apache/couchdb-ci/pull/3#discussion_r142598289
--- Diff: ansible/roles/spidermonkey/tasks/main.yml ---
@@ -19,19 +19,30 @@
get_url:
url: "http://ftp.mozilla.org/pub/mozilla.org/js/js185-1.0.0.tar.gz";
dest: /tmp/js185-1.0.0.tar.gz
+
- name: unpack Spidermonkey 1.8.5
unarchive:
src: /tmp/js185-1.0.0.tar.gz
dest: /opt
copy: no
+
+- name: patch source for debian9 build
+ patch:
+ src: "{{ role_path }}/files/fix-811665.patch"
+ basedir: /opt/js-1.8.5/
+ strip: 1
+ when: ansible_distribution == "Debian"
--- End diff --
Done :+1:
---
