2 # MUST BE USED BY AN FB EMPLOYEE ON A MANAGED MACHINE
7 # Assume we're not running this in 2100 or later
8 if [ "${VER#20*}" = "$VER" ]; then
9 echo "Usage: $0 YYYY.MM.DD.xx"
13 DOWNLOAD_DIR
="$(mktemp -d)"
15 grep --only-matching -E "https://github.com/.+$VER.+\.gz" -- */CMakeLists.txt | \
16 while read -r LINE
; do
19 # Do we have `vFOO.tar.gz`, or `project-vFOO.tar.gz`? We always need
21 if [ "${FILE#v20}" != "$FILE" ]; then
22 # https://github.com/ORG/PROJECT/
23 PROJECT
="$(echo "$URL" | cut -f5 -d/)"
26 wget
-O "$DOWNLOAD_DIR/$FILE" "$URL"
28 "$DOWNLOAD_DIR/$FILE" \
29 "hhvm_opensource_dependency_cache/flat/$FILE"
32 rm -rf "$DOWNLOAD_DIR"