diff options
| author | Robert Günzler <r@gnzler.io> | 2020-12-03 13:11:48 +0100 |
|---|---|---|
| committer | Robert Günzler <r@gnzler.io> | 2020-12-07 19:28:05 +0100 |
| commit | b6cc16000117953355b689b0ae6872db47651f6e (patch) | |
| tree | 5b61efa9342af06d2fe72d1519c7918967b321df /.profile | |
| parent | 87ab60128318cd6b9aa5589bf256d3a98340f1e2 (diff) | |
set RUST_SRC_PATH
Diffstat (limited to '.profile')
| -rw-r--r-- | .profile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.profile b/.profile index 50b4e6d..ad9566e 100644 --- a/.profile +++ b/.profile @@ -33,6 +33,9 @@ fi if [ -d "${HOME}/.cargo/bin" ]; then pathappend "${HOME}/.cargo/bin" fi +if [ -d "/usr/src/rust" ]; then + export RUST_SRC_PATH=/usr/src/rust +fi # Use the new build backend in docker export DOCKER_BUILDKIT=1 |