diff options
Diffstat (limited to 'travis/skip-pkg.sh')
-rwxr-xr-x | travis/skip-pkg.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/travis/skip-pkg.sh b/travis/skip-pkg.sh deleted file mode 100755 index 0ca1d749..00000000 --- a/travis/skip-pkg.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh -# Returns true if Debian/Ubuntu packages should be skipped because this CI run -# was triggered by a pull request. - -# Verify BALTO_TOKEN is present (only set on github.com/i3/i3), -# otherwise the CI run was triggered by a pull request. -# Verify CC=gcc so that we only build packages once for each commit, -# not twice (with gcc and clang). -if [ ! -z "$BALTO_TOKEN" ] && [ "$CC" = "gcc" ] -then - exit 1 -fi - -exit 0 |