From 2a2a1a3ed96f771a9ad26fd8d8d0097429f93306 Mon Sep 17 00:00:00 2001 From: redxef Date: Fri, 6 May 2022 11:37:50 +0200 Subject: [PATCH] Leave date the same if no files changed. --- check | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/check b/check index 5a01873..cc23d12 100755 --- a/check +++ b/check @@ -7,6 +7,12 @@ set -o pipefail . ./common 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 { "version": { @@ -16,3 +22,4 @@ jq -r tostring << EOF } EOF cleanup +exit 0