diff options
| author | Paul Menzel <paulepanter@users.sourceforge.net> | 2017-10-15 10:56:36 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-06-04 09:25:17 +0000 |
| commit | c724ac1f3c82cb760b3d748f2b2f97efa8e9fda0 (patch) | |
| tree | 7da9c6d0ef4491c8d81de257fb86fd0f18ba2968 | |
| parent | d5b9ce926c0654c4d0d9f542d271c56a0efff959 (diff) | |
board_status: Abort if repository is in a dirty state
Run `git status` to let the user spot what is going on.
Change-Id: I154d964354872f922cd22b05a5d2231ca2504f25
Signed-off-by: Paul Menzel <paulepanter@users.sourceforge.net>
Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
Reviewed-on: https://review.coreboot.org/22016
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
| -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}" |