From 2da883561b54355e6c6ae93eca922a3885c5b4c9 Mon Sep 17 00:00:00 2001
From: georglauterbach <44545919+georglauterbach@users.noreply.github.com>
Date: Sun, 5 May 2024 16:35:04 +0000
Subject: [PATCH] remove `CARGO_TARGET_DIR` duplicate from `Dockerfile`

---
 .devcontainer/Dockerfile | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index 49386b7..5364286 100644
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -85,11 +85,6 @@ EOM
 # `cargo` and `rustup` effortlessly.
 ENV PATH="/rustup/bin:${PATH}"
 
-# Moreover, we do not want to interfere with Cargo's output
-# directory of the host (in case someone want to use both this container
-# image and the hst); hence, we use a different output directory.
-ENV CARGO_TARGET_DIR=dev-container/target
-
 # Moreover, we do not want to interfere with Cargo's output
 # directory of the host (in case someone want to use both this container
 # image and the hst); hence, we use a different output directory.