From ec988eb93b992a49f4f38e15ac284b29c054ee6e Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Wed, 29 Mar 2017 12:36:31 +0200 Subject: [PATCH] miragesdk: fix `dev` target Paths have changed since 47b9f08b16c07a24fb1ff46154ce15bb57b484ce Signed-off-by: Thomas Gazagnaire --- projects/miragesdk/src/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/projects/miragesdk/src/Makefile b/projects/miragesdk/src/Makefile index 957d6d4cd..2d97abd86 100644 --- a/projects/miragesdk/src/Makefile +++ b/projects/miragesdk/src/Makefile @@ -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