Ensure non-existing %.cache target fail with a fatal error

kit-ty-kate · Jul 3, 2024 · 37b2e3f · 37b2e3f
1 parent 96f99ce
commit 37b2e3f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/master_changes.md b/master_changes.md
@@ -75,6 +75,7 @@ users)
   * Add the missing mccs and dune archives to the opam-full-<version>.tar.gz archive [#6067 @kit-ty-kate]
   * Ensure the configure file stays as it is in the tag, in the opam-full-<version>.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
@@ -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