p.238 in NNFS

2025-12-23 14:47:40 +01:00
parent 22d6ea5fad
commit bd2edea8ef
56 changed files with 4446 additions and 147 deletions
@@ -0,0 +1,13 @@
+#!/bin/bash
+set -e
+
+SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+ROOT_DIR="$(cd "$SCRIPT_DIR/../.." && pwd)"
+BUILD_DIR="$ROOT_DIR/build"
+
+if [ -d "$BUILD_DIR" ]; then
+    echo "Cleaning build directory: $BUILD_DIR"
+    rm -rf "$BUILD_DIR"/*
+else
+    echo "No build directory to clean."
+fi