diff options
Diffstat (limited to 'ci/local.sh')
-rwxr-xr-x | ci/local.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/ci/local.sh b/ci/local.sh deleted file mode 100755 index db687ff..0000000 --- a/ci/local.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/bash -set -eux - -: "${GPG_VERSION:=stable}" -: "${BUILD_MODE:=normal}" - -rsync -a /usr/local/rnp /tmp -sudo -iu travis bash -x <<EOF -cd /tmp/rnp -env ${CXX:+CXX=$CXX} \ - ${CC:+CC=$CC} \ - GPG_VERSION=$GPG_VERSION \ - BUILD_MODE=$BUILD_MODE \ - ${RNP_TESTS:+RNP_TESTS=$RNP_TESTS} \ - ci/run.sh -EOF |