machi/priv/test-for-gh-pr.sh

#!/bin/sh

if [ "${TRAVIS_PULL_REQUEST}" = "false" ]; then
	echo '$TRAVIS_PULL_REQUEST is false, skipping tests'
	exit 0
else
	echo '$TRAVIS_PULL_REQUEST is not false ($TRAVIS_PULL_REQUEST), running tests'
	make test
	make dialyzer
fi
Add priv/test-for-gh-pr.sh, change TravisCI 'script' to use it 2015-10-16 09:22:23 +00:00			`#!/bin/sh`

Grr, comma 2015-10-16 09:25:23 +00:00			`if [ "${TRAVIS_PULL_REQUEST}" = "false" ]; then`
Add priv/test-for-gh-pr.sh, change TravisCI 'script' to use it 2015-10-16 09:22:23 +00:00			`echo '$TRAVIS_PULL_REQUEST is false, skipping tests'`
			`exit 0`
			`else`
Experimental: add 'make dialyzer' to priv/test-for-gh-pr.sh 2015-10-27 05:08:45 +00:00			`echo '$TRAVIS_PULL_REQUEST is not false ($TRAVIS_PULL_REQUEST), running tests'`
Add priv/test-for-gh-pr.sh, change TravisCI 'script' to use it 2015-10-16 09:22:23 +00:00			`make test`
Experimental: add 'make dialyzer' to priv/test-for-gh-pr.sh 2015-10-27 05:08:45 +00:00			`make dialyzer`
Add priv/test-for-gh-pr.sh, change TravisCI 'script' to use it 2015-10-16 09:22:23 +00:00			`fi`