From c18e996d7039b4bbee145a20e30befe560c3a5da Mon Sep 17 00:00:00 2001 From: Kefu Chai Date: Tue, 26 Sep 2023 23:46:11 +0800 Subject: [PATCH] build: remove `distro_extra_cmake_args` this variable is always empty, so drop it. Signed-off-by: Kefu Chai --- configure.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/configure.py b/configure.py index 817efa2683..b142e7a435 100755 --- a/configure.py +++ b/configure.py @@ -29,7 +29,6 @@ configure_args = str.join(' ', [shlex.quote(x) for x in sys.argv[1:] if not x.st distro_extra_cflags = '' distro_extra_ldflags = '' -distro_extra_cmake_args = [] employ_ld_trickery = True # distro-specific setup @@ -1710,7 +1709,7 @@ def configure_seastar(build_dir, mode, mode_config): '-DCMAKE_EXPORT_COMPILE_COMMANDS=ON', '-DSeastar_SCHEDULING_GROUPS_COUNT=16', '-DSeastar_IO_URING=OFF', # io_uring backend is not stable enough - ] + distro_extra_cmake_args + ] if args.stack_guards is not None: stack_guards = 'ON' if args.stack_guards else 'OFF'