build: move Dockerfile to docker/dev

'docker build' transfers the directory containing Dockerfile to the container, which can take quite a while with a pre-built environment.
criteo-forks · Jan 19, 2015 · 6e9d4f3 · 6e9d4f3
1 parent 23b9605
commit 6e9d4f3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -79,7 +79,7 @@ make CC=gcc-4.9 CXX=g++-4.9 -j 24
 To build a Docker image:
 
 ```
-docker build -t seastar-dev .
+docker build -t seastar-dev docker/dev
 ```
 
 To launch a container:

diff --git a/Dockerfile → docker/dev/Dockerfile b/Dockerfile → docker/dev/Dockerfile