changelog shortlog graph tags branches changeset files revisions annotate raw help

Mercurial > infra / scripts/get-rocksdb.sh

changeset 21: 3491c1d1815d
parent: 87dd4724adfb
child: 0fc025be1ae0
author: ellis <ellis@rwest.io>
date: Tue, 05 Dec 2023 19:03:29 -0500
permissions: -rwxr-xr-x
description: script fixes 
     1 #!/usr/bin/bash
     2 # get RocksDB source code
     3 VER="${1:-main}"
     4 TARGETDIR=${2:-$(realpath build/src/rocksdb-$VER)}
     5 git clone https://vc.compiler.company/packy/shed/vendor/rocksdb.git $TARGETDIR