diff options
author | 2018-07-21 15:59:31 +0200 | |
---|---|---|
committer | 2018-07-21 06:59:31 -0700 | |
commit | 1a4248af01be2d2c7e240818b18e749b797e9b88 (patch) | |
tree | 68fdc4a76049d7da797e02487b74d8bc630ad947 /projects/ots | |
parent | 218f5dc3cf70bd697105f754418e98119d2b9a8d (diff) |
[ots] Checkout submodules (#1637)
Diffstat (limited to 'projects/ots')
-rw-r--r-- | projects/ots/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/projects/ots/Dockerfile b/projects/ots/Dockerfile index 36e5cfbd..c94408a6 100644 --- a/projects/ots/Dockerfile +++ b/projects/ots/Dockerfile @@ -20,4 +20,5 @@ RUN apt-get update && apt-get install -y python3-pip pkg-config zlib1g-dev && \ pip3 install meson ninja RUN git clone --depth 1 https://github.com/khaledhosny/ots.git WORKDIR ots +RUN git submodule update --init --recursive COPY build.sh ots-fuzzer.* $SRC/ |