jsonnet: fix build (#7007)

This commit is contained in:
DavidKorczynski 2021-12-11 11:34:07 +00:00 committed by GitHub
parent 365df31265
commit 95ae160527
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -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