#!/bin/bash set -e source "$STATE" if [ -n "$TEST_AND_PUBLISH" ] ; then cd $SRCDIR make lint COVERDIR=test/coverage make RM= tests fi