Skip to content

Commit 806e7d2

Browse files
authored
tarantool: fix seed corpus (google#12964)
Seed corpus has been moved to a separate Git repository, see [1]. 1. tarantool/tarantool#11042
1 parent ed72118 commit 806e7d2

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

Diff for: projects/tarantool/Dockerfile

+4
Original file line numberDiff line numberDiff line change
@@ -25,4 +25,8 @@ RUN apt-get update && apt-get install -y \
2525
RUN git clone --jobs $(nproc) --recursive https://github.com/tarantool/tarantool
2626
WORKDIR $SRC/tarantool
2727

28+
# Download a seed corpus.
29+
RUN rm -rf test/static
30+
RUN git clone https://github.com/ligurio/tarantool-corpus test/static
31+
2832
COPY build.sh $SRC/

0 commit comments

Comments
 (0)