changeset 42284 | 38f8784217d0 |
parent 42282 | faf3b6722c44 |
child 42285 | 864475e2cf63 |
--- a/make/Images.gmk Mon Nov 28 10:13:18 2016 +0100 +++ b/make/Images.gmk Mon Nov 28 15:19:08 2016 +0100 @@ -100,7 +100,8 @@ $(CAT) $(SOURCE_REVISION_TRACKER) ; \ fi) -$(BASE_RELEASE_FILE): $(INFO_FILE_VARDEPS) $(SOURCE_REVISION_TRACKER) +# The SOURCE_REVISION_TRACKER file may not exist. Only depend on it if it does. +$(BASE_RELEASE_FILE): $(INFO_FILE_VARDEPS) $(wildcard $(SOURCE_REVISION_TRACKER)) $(info-file) ################################################################################