diff options
Diffstat (limited to '.travis/omit-dist.sh')
| -rwxr-xr-x | .travis/omit-dist.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.travis/omit-dist.sh b/.travis/omit-dist.sh deleted file mode 100755 index f107a6b9..00000000 --- a/.travis/omit-dist.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/bash -if [ $TRAVIS_BRANCH == "develop" ] && $(git diff --name-only $TRAVIS_COMMIT_RANGE | grep -qE "^(demo/)?dist/"); then - echo 'Build output ("dist" and "demo/dist") not permitted in develop' >&2 - exit 1 -fi |