7x31/public-image-mirror
1
0
Fork 0
mirror of https://github.com/DaoCloud/public-image-mirror.git synced 2025-08-06 20:19:28 +08:00
Code Issues Packages Projects Releases Wiki Activity

Update target sync (#391)

Browse Source
This commit is contained in:
Shiming Zhang
2023-10-12 17:11:17 +08:00
committed by GitHub
parent bad991f952
commit e2e9aa8226
2 changed files with 12 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
hack/diff-image.sh
View File

@@ -254,7 +254,7 @@ function diff-image() {
increase=""
fi
if [[ "${reduce}" != "" ]] || [[ "${increase}" != "" ]]; then
if [[ "${QUICKLY}" == "" ]] || [[ "${reduce}" != "" ]] || [[ "${increase}" != "" ]]; then
echo "${SELF}: NOT-SYNCHRONIZED-TAGS: ${image1} and ${image2} are not in synchronized" >&2
if [[ "${DEBUG}" == "true" ]]; then
echo "DEBUG: image1 ${image1}:" >&2