Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-25 23:46:04 +08:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity

[docker] rename clean target to remove_images

Browse Source
This commit is contained in:
Felix Ruess
2015-06-29 17:28:53 +02:00
parent e8d2ca46c8
commit beb75e9bd0
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docker/Makefile
+2 -2
View File
@@ -6,7 +6,7 @@ help:
@echo ""
@echo " 1. make build - build all pprz images"
@echo " 1. make pull - pull all pprz images"
@echo " 1. make clean - remove all pprz images"
@echo " 1. make remove_images - remove all pprz images"
@echo " 2. make bash - run bash on pprz-dev"
@echo " 2. make terminator - run terminator on pprz-dev"
@echo " 2. make paparazzi - run ./paparazzi center on pprz-dev"
@@ -21,7 +21,7 @@ pull:
@docker pull flixr/pprz-dep
@docker pull flixr/pprz-dev
clean:
remove_images:
@docker rmi -f flixr/pprz-dep
@docker rmi -f flixr/pprz-dev