aboutsummaryrefslogtreecommitdiffstats
path: root/.travis/omit-dist.sh
blob: f107a6b991e05c101df53c67cfb20f7fc8fba06f (plain)
1
2
3
4
5
#!/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