diff options
author | Thomas Haller <thaller@redhat.com> | 2022-07-20 14:46:43 +0200 |
---|---|---|
committer | Thomas Haller <thaller@redhat.com> | 2022-07-25 10:27:40 +0200 |
commit | bde99436aaae35c20a5b792ced4b1b2ef7d8484a (patch) | |
tree | 47756d8d6a51c32e84903c1e17a09511f2578a60 | |
parent | e1182762965da40e8a6f84276167aa1d254a5fda (diff) | |
download | NetworkManager-bde99436aaae35c20a5b792ced4b1b2ef7d8484a.tar.gz |
gitlab-ci: print git-status during do_clean() in "run-test.sh"
If we have a non-clean working directory after do_clean(), that
is a bug and something we need to investigate. Print information
to make that easier to debug.
-rwxr-xr-x | .gitlab-ci/run-test.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci/run-test.sh b/.gitlab-ci/run-test.sh index 8ae519596c..dfaee99ba8 100755 --- a/.gitlab-ci/run-test.sh +++ b/.gitlab-ci/run-test.sh @@ -23,6 +23,9 @@ do_clean() { # "make -C update-po", run on "make dist" has a silly habit of # modifying files in-tree. Lets undo that. git checkout -- po/ + + git status + git diff } uname -a |