From c31ea385beb3bb5962773497c865c8439e15d90f Mon Sep 17 00:00:00 2001 From: Carlos Segarra Date: Tue, 7 May 2024 20:43:54 +0000 Subject: [PATCH] docker: attempt to fix build --- tasks/kernels.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tasks/kernels.py b/tasks/kernels.py index 3944627..c882f9a 100644 --- a/tasks/kernels.py +++ b/tasks/kernels.py @@ -124,6 +124,7 @@ def build(ctx, clean=False, native=False, elastic=False): run("make clean", shell=True, check=True, cwd=kernels_dir) rmtree(build_dir) + makedirs(join(kernels_dir, "build"), exist_ok=True) makedirs(build_dir, exist_ok=True) # When building the elastic kernels we only need to build the OpenMP ones