diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-07-12 17:14:07 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-12 17:14:07 +0200 |
commit | 3496f507d97547c8f544be8219768b000cadb840 (patch) | |
tree | 6afad74cb6bec8decf44e665fe4f9c2d4c31c644 /scripts/docker/Dockerfile | |
parent | 6edbe2078740e05ab177bad8e3f68655fbb9794e (diff) | |
download | vericert-3496f507d97547c8f544be8219768b000cadb840.tar.gz vericert-3496f507d97547c8f544be8219768b000cadb840.zip |
Update instructions and fix testv1.2.1
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 2710ffc..c66df6d 100644 --- a/scripts/docker/Dockerfile +++ b/scripts/docker/Dockerfile @@ -12,7 +12,7 @@ ADD data.tar.gz /data RUN git clone --recursive https://github.com/ymherklotz/vericert WORKDIR /vericert -RUN git checkout -b oopsla21 +RUN git checkout oopsla21 RUN nix-shell --run "make -j7" RUN nix-shell --run "make install" |