1
#!/bin/bash
2

3
revision=$(git rev-parse --short HEAD)
4
if [ -n "$(git status --porcelain --untracked-files=no)" ]; then
5
  dirty="*"
6
else
7
  dirty=""
8
fi
9

10
echo "STABLE_GIT_REVISION $revision$dirty"
11

12