diff options
Diffstat (limited to 'libs/xml.c/.mc/rebuild.sh')
| -rw-r--r-- | libs/xml.c/.mc/rebuild.sh | 21 |
1 files changed, 0 insertions, 21 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 - |