From 37b2e3f7f1acb4170ebfc7eb9b6164b223cc6572 Mon Sep 17 00:00:00 2001 From: Kate Date: Wed, 3 Jul 2024 13:55:58 +0100 Subject: [PATCH] Ensure non-existing %.cache target fail with a fatal error --- master_changes.md | 1 + src_ext/Makefile | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/master_changes.md b/master_changes.md index 88ed73792a3..df65a84e818 100644 --- a/master_changes.md +++ b/master_changes.md @@ -75,6 +75,7 @@ users) * Add the missing mccs and dune archives to the opam-full-.tar.gz archive [#6067 @kit-ty-kate] * Ensure the configure file stays as it is in the tag, in the opam-full-.tar.gz archive [#6067 @kit-ty-kate] * Exclude the .git directory from the release archive when using GNU tar [#6067 @kit-ty-kate] + * Ensure non-existing %.cache target fail with a fatal error [#6067 @kit-ty-kate] ## Install script diff --git a/src_ext/Makefile b/src_ext/Makefile index 637f4946a7d..0238d81e416 100644 --- a/src_ext/Makefile +++ b/src_ext/Makefile @@ -114,7 +114,7 @@ GET_ARCHIVE=\ %.cache: @mkdir -p archives - @test -e archives/$(notdir $(URL_$*)) || \ + @test -f archives/$(notdir $(URL_$*)) || \ { $(call GET_ARCHIVE,$*) && mv $(call ARCHIVE_FILE,$*) archives/$(notdir $(URL_$*)); } .PRECIOUS: %.download