#!/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