diff options
Diffstat (limited to 'scripts/docker/Dockerfile')
| -rw-r--r-- | scripts/docker/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/docker/Dockerfile b/scripts/docker/Dockerfile index c66df6d..480acc9 100644 --- a/scripts/docker/Dockerfile +++ b/scripts/docker/Dockerfile @@ -9,7 +9,7 @@ ADD legup_polybench_syn.tar.gz /data/legup-polybench-syn ADD legup_polybench_syn_div.tar.gz /data/legup-polybench-syn-div ADD data.tar.gz /data -RUN git clone --recursive https://github.com/ymherklotz/vericert +RUN git clone --recursive https://github.com/___/vericert WORKDIR /vericert RUN git checkout oopsla21 |