fast-dds: fix build (#8074)

Fixes https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=49240
This commit is contained in:
DavidKorczynski 2022-07-25 17:40:09 +01:00 committed by GitHub
parent eec428c9ad
commit a0948a54cf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -15,7 +15,7 @@
################################################################################
FROM gcr.io/oss-fuzz-base/base-builder
RUN apt-get update && apt install -y autoconf automake
RUN apt-get update && apt install -y autoconf automake pkg-config
RUN git clone --depth 1 https://github.com/leethomason/tinyxml2
RUN git clone --depth 1 https://github.com/chriskohlhoff/asio/
RUN git clone --depth 1 https://github.com/eProsima/Fast-CDR.git