diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -8,7 +8,7 @@ stage0.stamp: sudo rm -rf fs touch $@ -stage1.stamp: stage0.stamp +stage1.stamp: stage0.stamp Builder1 docker run -it --name cryptech-builder-stage1 \ --mount type=bind,source=$(abspath .),target=/cryptech-builder \ cryptech-builder:stage0 \ @@ -17,7 +17,7 @@ stage1.stamp: stage0.stamp docker container rm cryptech-builder-stage1 touch $@ -stage2.stamp: stage1.stamp +stage2.stamp: stage1.stamp Builder2 docker run -it --name cryptech-builder-stage2 \ --mount type=bind,source=$(abspath .),target=/cryptech-builder \ cryptech-builder:stage1 \ @@ -26,7 +26,7 @@ stage2.stamp: stage1.stamp docker container rm cryptech-builder-stage2 touch $@ -stage3.stamp: stage2.stamp +stage3.stamp: stage2.stamp Dockerfile docker build -t cryptech-builder . touch $@ |