summaryrefslogtreecommitdiff
path: root/util/docker_build.sh
AgeCommit message (Expand)Author
2019-04-09Update build instructions and Dockerfile to download submodulesMikhail Goncharov
2019-02-15docker_build.sh: Run container in interactive mode (#5088)Konstantin Đorđević
2018-12-08Add a better Docker build script + update Dockerfile (#4222)Konstantin Đorđević