From 95ae1605276992766c022b9b6ec8c1be9cbb1adb Mon Sep 17 00:00:00 2001 From: DavidKorczynski Date: Sat, 11 Dec 2021 11:34:07 +0000 Subject: [PATCH] jsonnet: fix build (#7007) --- projects/jsonnet/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/projects/jsonnet/build.sh b/projects/jsonnet/build.sh index d51c7048a..1b0ceed40 100644 --- a/projects/jsonnet/build.sh +++ b/projects/jsonnet/build.sh @@ -18,7 +18,7 @@ mkdir jsonnet/build pushd jsonnet/build cmake -DCMAKE_C_COMPILER="$CC" -DCMAKE_CXX_COMPILER="$CXX" \ - -DCMAKE_C_FLAGS="$CFLAGS" -DCMAKE_CXX_FLAGS="$CXXFLAGS" .. + -DCMAKE_C_FLAGS="$CFLAGS" -DCMAKE_CXX_FLAGS="$CXXFLAGS" -DBUILD_TESTS=OFF .. make -j$(nproc) popd