mirror of
https://github.com/servo/servo.git
synced 2025-06-08 08:33:26 +00:00
Use https github URL to clone servo-warc-tests repo
This commit is contained in:
parent
c0d9f28b04
commit
234c72b15a
1 changed files with 3 additions and 1 deletions
|
@ -26,8 +26,10 @@ else
|
||||||
echo "Found existing test cases, skipping download and unzip."
|
echo "Found existing test cases, skipping download and unzip."
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
# We use the https URL for the repo so the clone works even if
|
||||||
|
# github.com isn't in ssh's known hosts.
|
||||||
WARC_DIR="./servo-warc-tests"
|
WARC_DIR="./servo-warc-tests"
|
||||||
WARC_REPO="git@github.com:servo/servo-warc-tests.git"
|
WARC_REPO="https://github.com/servo/servo-warc-tests.git"
|
||||||
|
|
||||||
# Clone the warc tests if they don't exist
|
# Clone the warc tests if they don't exist
|
||||||
if [[ ! -d ${WARC_DIR} ]]; then
|
if [[ ! -d ${WARC_DIR} ]]; then
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue