github/linuxkit
1
0
Fork 0
mirror of https://github.com/linuxkit/linuxkit.git synced 2025-07-21 01:59:07 +00:00
Code Issues Projects Releases Wiki Activity

miragesdk: add a dev-clean target

Browse Source 
Signed-off-by: Thomas Gazagnaire <thomas@gazagnaire.org>
This commit is contained in:
Thomas Gazagnaire 2017-03-29 14:22:11 +02:00
parent ec988eb93b
commit c06454273b
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
projects/miragesdk/src/Makefile
View File

@ -65,6 +65,9 @@ clean::
(docker rmi -f $(IMAGE):pkg || echo ok) (docker rmi -f $(IMAGE):pkg || echo ok)
(docker rmi -f $(IMAGE):dev || echo ok) (docker rmi -f $(IMAGE):dev || echo ok)
dev-clean:
rm -rf _build dhcp-client/calf/_build
dev: dev:
cd dhcp-client/calf && mirage configure && make cd dhcp-client/calf && mirage configure && make
jbuilder build dhcp-client/main.exe jbuilder build dhcp-client/main.exe