[tidy-html5] Check out tidy-html5 from the 'next' branch, instead of the default 'master'. The next branch is the one that gets the latest features and fixes in practice. (#2090)

This commit is contained in:
Stefan Bucur 2019-01-16 13:18:52 -05:00 committed by Max Moroz
parent dfd574a1ba
commit 8f46f4deea
1 changed files with 2 additions and 1 deletions

View File

@ -22,7 +22,8 @@ RUN apt-get update && \
cmake ninja-build && \
apt-get clean
RUN git clone https://github.com/htacg/tidy-html5.git tidy-html5
RUN git clone -b next --single-branch \
https://github.com/htacg/tidy-html5.git tidy-html5
WORKDIR tidy-html5
COPY build.sh $SRC/
COPY *.c *.h *.options $SRC/