docs: update Dockerfile

pkumod · Jun 23, 2018 · 9085033 · 9085033
1 parent 721e163
commit 9085033
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -32,4 +32,5 @@ ENV LANG C.UTF-8
 
 #Subsequent test version can be put here.
 #And some procedures you need can also be attached here.
-CMD ["make"]
+#CMD ["make"]
+RUN make