Fix GNATprove caching

Ref. eng/recordflux/RecordFlux#1539
AdaCore · Mar 1, 2024 · 19456f3 · 19456f3
1 parent d592d43
commit 19456f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile.common b/Makefile.common
@@ -20,7 +20,7 @@ SHELL = /bin/bash
 GNATPROVE = $(MAKEFILE_DIR)/tools/gnatprove
 
 # Use GNATprove's file-based caching by default and ensure the directory exists.
-GNATPROVE_CACHE ?= file:$(MAKEFILE_DIR)$(BUILD_DIR)/gnatprove_cache
+GNATPROVE_CACHE ?= file:$(MAKEFILE_DIR)/$(BUILD_DIR)/gnatprove_cache
 
 ifneq (,$(findstring file:,$(GNATPROVE_CACHE)))
 GNATPROVE_CACHE_DIR = $(subst file:,,$(GNATPROVE_CACHE))