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>
This commit is contained in:
parent
d5b9ce926c
commit
c724ac1f3c
|
@ -340,6 +340,13 @@ timestamp=$($getrevision -t)
|
||||||
|
|
||||||
results="${vendor}/${mainboard}/${tagged_version}/${timestamp}"
|
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}"
|
echo "Temporarily placing output in ${tmpdir}/${results}"
|
||||||
mkdir -p "${tmpdir}/${results}"
|
mkdir -p "${tmpdir}/${results}"
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue