diff options
author | Sergio Martins <smartins@kde.org> | 2018-09-22 15:59:46 +0100 |
---|---|---|
committer | Sergio Martins <smartins@kde.org> | 2018-09-22 15:59:46 +0100 |
commit | ec85c0843745eaa9a9acc64265673c457242fea1 (patch) | |
tree | 159fccaed5655fe0a6fdff245105d5d32b4f05fb | |
parent | 446988de8e9053ec241ec86fb567c469cecaab04 (diff) |
Add the script thats called by the docker container to build clazy
Previsouly it was in the container's /usr/bin/, so got out of sync
with other containers when edited.
-rwxr-xr-x | tests/docker/build-clazy.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tests/docker/build-clazy.sh b/tests/docker/build-clazy.sh new file mode 100755 index 00000000..4cd59997 --- /dev/null +++ b/tests/docker/build-clazy.sh @@ -0,0 +1,22 @@ +# This is the script that runs inside the docker container and builds clazy + +BRANCH=$1 +J_FLAG=$2 +CLAZY_PREFIX=$3 + +if [ -z "$1" ] +then + exit 1; +fi + +if [ -z "$2" ] +then + exit 1; +fi + +if [ -z "$3" ] +then + exit 1; +fi + +cd /root/clazy && git pull && git checkout $BRANCH && cmake -DCMAKE_INSTALL_PREFIX=$CLAZY_PREFIX -DCMAKE_BUILD_TYPE=RelWithDebInfo . && make $J_FLAG && make install && cd tests && ./run_tests.py |