diff options
author | DavidKorczynski <david@adalogics.com> | 2021-06-18 10:55:48 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-18 10:55:48 +0100 |
commit | de2e9e1f74cd18de5d8a8ed153c35ef1f95a004a (patch) | |
tree | 2188ad95f25e5da497da0642d0097f242ba02a3b /projects/jsonnet/build.sh | |
parent | 549d4a8f02ba524e6ac97a1bce97df4cd12fac59 (diff) |
jsonnet: fix build (#5938)
* jsonnet: fix build.
* remove verbose logging.
Diffstat (limited to 'projects/jsonnet/build.sh')
-rw-r--r-- | projects/jsonnet/build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/projects/jsonnet/build.sh b/projects/jsonnet/build.sh index 5386efb1..d51c7048 100644 --- a/projects/jsonnet/build.sh +++ b/projects/jsonnet/build.sh @@ -28,4 +28,5 @@ fuzzer=convert_jsonnet_fuzzer $CXX $CXXFLAGS -I${INSTALL_DIR}/include $LIB_FUZZING_ENGINE \ $fuzzer.cc -o $OUT/$fuzzer \ ${INSTALL_DIR}/build/libjsonnet.a \ - ${INSTALL_DIR}/build/libmd5.a + ${INSTALL_DIR}/build/libmd5.a \ + ${INSTALL_DIR}/build/libryml.a |