github/linuxkit
1
0
Fork 0
mirror of https://github.com/linuxkit/linuxkit.git synced 2025-11-04 10:06:20 +00:00
Code Issues Projects Releases Wiki Activity

miragesdk: fix dev target

Browse Source 
Paths have changed since 47b9f08b16

Signed-off-by: Thomas Gazagnaire <thomas@gazagnaire.org>
This commit is contained in:
Thomas Gazagnaire
2017-03-29 12:36:31 +02:00
parent 46cda7dc72
commit ec988eb93b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
projects/miragesdk/src/Makefile
View File

@@ -66,8 +66,8 @@ clean::
(docker rmi -f $(IMAGE):dev || echo ok)
dev:
cd calf && mirage configure && make
jbuilder build src/main.exe
cd dhcp-client/calf && mirage configure && make
jbuilder build dhcp-client/main.exe
# _build/default/src/main.exe -vv \
# --cmd 'calf/_build/main.native -l debug --store 10 --net 12' \
# --ethif eno1