From a25bd4a826833452738aa215c30d8d73678fbbc7 Mon Sep 17 00:00:00 2001 From: Puneeth Chaganti Date: Tue, 4 Jun 2024 14:21:13 +0530 Subject: [PATCH] Upgrade Sandmark dune version to latest --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 857273968..e17306406 100644 --- a/Makefile +++ b/Makefile @@ -21,7 +21,7 @@ BUILD_BENCH_TARGET ?= buildbench RUN_CONFIG_JSON ?= run_config.json # Default dune version to be used -SANDMARK_DUNE_VERSION ?= 3.5.0 +SANDMARK_DUNE_VERSION ?= 3.15.3 # Default URL SANDMARK_URL ?= ""