#!/bin/bash
set -e
cd $(dirname $0)/..
source ./scripts/version
if [ -n "$DIRTY" ]; then
echo Git is dirty
git status
git diff
exit 1
fi