updated docker_bootstrap.sh

HariSekhon · Sep 22, 2024 · 176f383 · 176f383
1 parent 6fc486c
commit 176f383
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/setup/docker_bootstrap.sh b/setup/docker_bootstrap.sh
@@ -63,10 +63,6 @@ curl -sSf "https://raw.githubusercontent.com/HariSekhon/$repo/master/setup/boots
 
 sh /bootstrap.sh
 
-if [ "$repo" = pytools ]; then
-    ln -sv -- "$basedir/python-tools" "$basedir/pytools"
-fi
-
 cd "$basedir/$repo"
 
 if [ -z "${NO_TESTS:-}" ]; then