From 210404a73706993d197c1290d5a411394e176fbe Mon Sep 17 00:00:00 2001 From: Aldrik Ramaekers Date: Fri, 9 Jan 2026 15:28:38 +0100 Subject: remove unused lib files --- libs/xml.c/.mc/rebuild.sh | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 libs/xml.c/.mc/rebuild.sh (limited to 'libs/xml.c/.mc/rebuild.sh') diff --git a/libs/xml.c/.mc/rebuild.sh b/libs/xml.c/.mc/rebuild.sh deleted file mode 100644 index 67443c3..0000000 --- a/libs/xml.c/.mc/rebuild.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/bash - -set -e - - -# @see https://stackoverflow.com/a/1482133 -DIRECTORY_OF_SCRIPT=`dirname "$(readlink -f "$0")"` - -SOURCE_DIRECTORY="${DIRECTORY_OF_SCRIPT}/.." -BUILD_DIRECTORY="${DIRECTORY_OF_SCRIPT}/../build" - - -if [ -d "${BUILD_DIRECTORY}" ]; then - rm -rf "${BUILD_DIRECTORY}" -fi -mkdir "${BUILD_DIRECTORY}" - -(cd "${BUILD_DIRECTORY}" && cmake -DCMAKE_BUILD_TYPE=Release ..) -make --directory "${BUILD_DIRECTORY}" --silent -make --directory "${BUILD_DIRECTORY}" --silent test - -- cgit v1.2.3-70-g09d2