diff options
Diffstat (limited to 'libs/xml.c/.mc')
| -rw-r--r-- | libs/xml.c/.mc/rebuild.sh | 21 | ||||
| -rw-r--r-- | libs/xml.c/.mc/ubuntu-22.04.yaml | 8 |
2 files changed, 0 insertions, 29 deletions
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 - diff --git a/libs/xml.c/.mc/ubuntu-22.04.yaml b/libs/xml.c/.mc/ubuntu-22.04.yaml deleted file mode 100644 index 762305c..0000000 --- a/libs/xml.c/.mc/ubuntu-22.04.yaml +++ /dev/null @@ -1,8 +0,0 @@ ---- -base: ubuntu:22.04 -install: - - cmake - - g++ - - gcc - - valgrind ---- |
