From 2e5456abff9b7ec7b65afd73dff666ff41cff3ef 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 79581e45c..d26d0c88c 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 ?= ""