blob: c39778937ee192ddb08ab9b8627437289c4363dd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#! /bin/bash -vex
set -x -e
# Inputs, with defaults
: GECKO_HEAD_REPOSITORY ${GECKO_HEAD_REPOSITORY:=https://hg.mozilla.org/mozilla-central}
: GECKO_HEAD_REV ${GECKO_HEAD_REV:=default}
: SCRIPT_DOWNLOAD_PATH ${SCRIPT_DOWNLOAD_PATH:=$PWD}
: SCRIPT_PATH ${SCRIPT_PATH:?"script path must be set"}
set -v
# download script from the gecko repository
url=${GECKO_HEAD_REPOSITORY}/raw-file/${GECKO_HEAD_REV}/${SCRIPT_PATH}
wget --directory-prefix=${SCRIPT_DOWNLOAD_PATH} $url
|
