From a40d09b5cd2b98f5f200d8fa60ac1d569f668988 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 17697e971..79798fea4 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 ?= ""