From d029ccc8132ba12cb160c2313c653b0ed17dcb8f Mon Sep 17 00:00:00 2001
From: Marcus Holland-Moritz <github@mhxnet.de>
Date: Sun, 20 Apr 2025 23:21:05 +0200
Subject: [PATCH] build: don't `distclean` static build

---
 .docker/build-linux.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.docker/build-linux.sh b/.docker/build-linux.sh
index 5c37df74..53f4aa5c 100755
--- a/.docker/build-linux.sh
+++ b/.docker/build-linux.sh
@@ -445,6 +445,4 @@ if [[ "-$BUILD_TYPE-" != *-[at]san-* ]] && \
   cmake ../dwarfs/example $CMAKE_TOOL_ARGS -DCMAKE_PREFIX_PATH="$INSTALLDIR/usr/local"
   $BUILD_TOOL
   $BUILD_TOOL clean
-else
-  $BUILD_TOOL distclean
 fi