ports/databases/mongodb80/files/patch-src_third__party_mozjs_get-sources.sh
2024-07-23 17:44:45 +02:00

14 lines
589 B
Bash

--- src/third_party/mozjs/get-sources.sh.orig 2024-07-22 19:17:33 UTC
+++ src/third_party/mozjs/get-sources.sh
@@ -12,9 +12,9 @@ LIB_GIT_REPO=git@github.com:mongodb-forks/spidermonkey
LIB_GIT_REVISION=bb6edb4fcd43607c87de81df8c58db11a663634a
LIB_GIT_REPO=git@github.com:mongodb-forks/spidermonkey.git
-DEST_DIR=$(git rev-parse --show-toplevel)/src/third_party/mozjs
+DEST_DIR=$(realpath .)
-LIB_GIT_DIR=$(mktemp -d /tmp/import-spidermonkey.XXXXXX)
+LIB_GIT_DIR=$(mktemp -d /var/tmp/import-spidermonkey.XXXXXX)
trap "rm -rf $LIB_GIT_DIR" EXIT
git clone $LIB_GIT_REPO $LIB_GIT_DIR