diff options
author | jkoan <jkoan@users.noreply.github.com> | 2021-10-04 21:03:30 +0200 |
---|---|---|
committer | jkoan <jkoan@users.noreply.github.com> | 2023-01-11 07:50:27 +0100 |
commit | c13e173a08598da9c8455ab7f7e33b68c3eeee48 (patch) | |
tree | a8a2cb5824f73f1a5f31c5b6eac2086ffad516a7 | |
parent | 74682f59791a778bf4ce3f2f6bc2a34b7d24d333 (diff) | |
download | navit-c13e173a08598da9c8455ab7f7e33b68c3eeee48.tar.gz |
Change:build:remove reset
-rwxr-xr-x | scripts/ci_sanity_checks.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/ci_sanity_checks.sh b/scripts/ci_sanity_checks.sh index 13b3cc5da..e5d1782f0 100755 --- a/scripts/ci_sanity_checks.sh +++ b/scripts/ci_sanity_checks.sh @@ -19,7 +19,6 @@ check_diff(){ if [[ $code -ne 0 ]]; then echo "[ERROR] You may need to do some cleanup in the files you commited, see the git diff output above." fi - git checkout -- . return_code=$(($return_code + $code)) } |