diff options
| -rwxr-xr-x | util/board_status/board_status.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/util/board_status/board_status.sh b/util/board_status/board_status.sh index 83a7200d64..13c58e1740 100755 --- a/util/board_status/board_status.sh +++ b/util/board_status/board_status.sh @@ -340,6 +340,13 @@ timestamp=$($getrevision -t) results="${vendor}/${mainboard}/${tagged_version}/${timestamp}" +if [ -n "$(echo $tagged_version | grep dirty)" ]; then + echo "The repository is in a dirty state. Please see the output of" + echo "'git status' below." + git status + exit $EXIT_FAILURE +fi + echo "Temporarily placing output in ${tmpdir}/${results}" mkdir -p "${tmpdir}/${results}" |