diff options
| author | Alexander Harkness <me@bearbin.net> | 2020-02-24 12:28:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-24 12:28:24 +0100 |
| commit | cfedb03a09fe9a43bf0daf2c24b94ca98ab66f31 (patch) | |
| tree | 99a6b9e0277905ddf6bc407d4856796317b71109 /CIbuild.sh | |
| parent | BlockTypePalette: Improved loading speed in MSVC Debug builds. (diff) | |
| download | cuberite-cfedb03a09fe9a43bf0daf2c24b94ca98ab66f31.tar cuberite-cfedb03a09fe9a43bf0daf2c24b94ca98ab66f31.tar.gz cuberite-cfedb03a09fe9a43bf0daf2c24b94ca98ab66f31.tar.bz2 cuberite-cfedb03a09fe9a43bf0daf2c24b94ca98ab66f31.tar.lz cuberite-cfedb03a09fe9a43bf0daf2c24b94ca98ab66f31.tar.xz cuberite-cfedb03a09fe9a43bf0daf2c24b94ca98ab66f31.tar.zst cuberite-cfedb03a09fe9a43bf0daf2c24b94ca98ab66f31.zip | |
Diffstat (limited to 'CIbuild.sh')
| -rwxr-xr-x | CIbuild.sh | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/CIbuild.sh b/CIbuild.sh deleted file mode 100755 index b4163f0a8..000000000 --- a/CIbuild.sh +++ /dev/null @@ -1,47 +0,0 @@ - #!/usr/bin/env bash - -set -e - -export CUBERITE_BUILD_SERIES_NAME="Travis $CC $TRAVIS_CUBERITE_BUILD_TYPE" -export CUBERITE_BUILD_ID=$TRAVIS_JOB_NUMBER -export CUBERITE_BUILD_DATETIME=`date` - -# Use ccache if available -if [ `which ccache` ]; then - export CCACHE_CPP2=true - CACHE_ARGS="-DCMAKE_C_COMPILER_LAUNCHER=ccache -DCMAKE_CXX_COMPILER_LAUNCHER=ccache" - echo "Using ccache installed at $(which ccache)" -fi - -cmake . -DBUILD_TOOLS=1 -DSELF_TEST=1 ${CACHE_ARGS}; - -echo "Building..." -cmake --build . -- -j 2; -ctest -j 2 -V; - -echo "Testing..." - -cd Server/; -touch apiCheckFailed.flag -if [ "$TRAVIS_CUBERITE_BUILD_TYPE" != "COVERAGE" ]; then - ./Cuberite <<- EOF - load APIDump - apicheck - restart - stop - EOF - if [ -f ./NewlyUndocumented.lua ]; then - echo "ERROR: Newly undocumented API symbols found:" - cat ./NewlyUndocumented.lua - exit 1 - fi - if [ -f ./DuplicateDocs.txt ]; then - echo "ERROR: API documentation has duplicate symbol warnings:" - cat ./DuplicateDocs.txt - exit 1 - fi - if [ -f ./apiCheckFailed.flag ]; then - echo "ERROR: API check has failed with an unknown error" - exit 1 - fi -fi |