Remove centipede's .git (#8986)

It takes up space, is uneeded and causes irrelevant data to be displayed
in revisions.
This commit is contained in:
jonathanmetzman 2022-11-16 07:53:04 -05:00 committed by GitHub
parent 56900fc661
commit 3ebdb071dc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

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