From 6edbe2078740e05ab177bad8e3f68655fbb9794e Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 12 Jul 2021 02:03:12 +0200
Subject: Remove comments in docker file

---
 scripts/docker/Dockerfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'scripts')

diff --git a/scripts/docker/Dockerfile b/scripts/docker/Dockerfile
index 668219a..2710ffc 100644
--- a/scripts/docker/Dockerfile
+++ b/scripts/docker/Dockerfile
@@ -13,7 +13,7 @@ RUN git clone --recursive https://github.com/ymherklotz/vericert
 
 WORKDIR /vericert
 RUN git checkout -b oopsla21
-#RUN nix-shell --run "make -j7"
-#RUN nix-shell --run "make install"
-#
+RUN nix-shell --run "make -j7"
+RUN nix-shell --run "make install"
+
 RUN echo "export PATH=/vericert/bin:$PATH" >>/root/.bashrc
-- 
cgit