#!/bin/bash
if [[ ! -z "$GITREV" ]]; then
    echo $GITREV
else
    git describe --always --dirty=-dirty
fi