Pin Centipede to a more recent version (#8543)

A recent commit allows `Centipede` to add timestamps to its log, which
can be very helpful for debugging.
This PR intends to update `Centipede` to add that commit.
This commit is contained in:
Dongge Liu 2022-09-21 15:02:44 +10:00 committed by GitHub
parent b95ae7b412
commit 2757ed6601
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -134,7 +134,7 @@ RUN precompile_honggfuzz
RUN cd $SRC && \
git clone https://github.com/google/centipede.git && \
cd centipede && \
git checkout 0cb913aa9d77ebd2870aa1036fd8651c2557a9a9
git checkout baa82e7189677bb9086beb5d9b5e58018d991607
COPY precompile_centipede /usr/local/bin/
RUN precompile_centipede