From 439595f04c9209f0be6c0c8b7f7fe5009e983b0b Mon Sep 17 00:00:00 2001 From: Thomas Krijnen Date: Tue, 25 Jun 2024 11:44:26 +0200 Subject: [PATCH] Update build-all.py #3927 --- nix/build-all.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/nix/build-all.py b/nix/build-all.py index 2365699502..4a54843ed6 100644 --- a/nix/build-all.py +++ b/nix/build-all.py @@ -830,7 +830,8 @@ cmake_args = [ "-DJSON_INCLUDE_DIR=" f"{DEPS_DIR}/install/json", "-DEIGEN_DIR=" f"{DEPS_DIR}/install/eigen-3.3.9", "-DBoost_NO_BOOST_CMAKE=" "On", - "-DADD_COMMIT_SHA=" +("On" if ADD_COMMIT_SHA else "Off") + "-DADD_COMMIT_SHA=" +("On" if ADD_COMMIT_SHA else "Off"), + "-DVERSION_OVERRIDE=" +("On" if ADD_COMMIT_SHA else "Off") ] if "wasm" in flags: