Leave date the same if no files changed.
This commit is contained in:
parent
dd04de3f8a
commit
2a2a1a3ed9
1 changed files with 7 additions and 0 deletions
7
check
7
check
|
@ -7,6 +7,12 @@ set -o pipefail
|
||||||
. ./common
|
. ./common
|
||||||
|
|
||||||
version="$(compute_version "$(fetch_file_infos get_files)")"
|
version="$(compute_version "$(fetch_file_infos get_files)")"
|
||||||
|
if [ "$(echo "$version" | jq -r tostring)" = "$(get_version | jq -r .files | jq -r tostring)" ]; then
|
||||||
|
get_version
|
||||||
|
cleanup
|
||||||
|
exit 0
|
||||||
|
fi
|
||||||
|
|
||||||
jq -r tostring << EOF
|
jq -r tostring << EOF
|
||||||
{
|
{
|
||||||
"version": {
|
"version": {
|
||||||
|
@ -16,3 +22,4 @@ jq -r tostring << EOF
|
||||||
}
|
}
|
||||||
EOF
|
EOF
|
||||||
cleanup
|
cleanup
|
||||||
|
exit 0
|
||||||
|
|
Loading…
Reference in a new issue