From 0f0b721b196dee5b86ef625e841dc442a39ee5e4 Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Thu, 30 Mar 2017 19:57:03 +0200 Subject: [PATCH] miragesdk: better computation of the image tag Signed-off-by: Thomas Gazagnaire --- projects/miragesdk/src/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/projects/miragesdk/src/Makefile b/projects/miragesdk/src/Makefile index 77d343e57..9fb07d3f0 100644 --- a/projects/miragesdk/src/Makefile +++ b/projects/miragesdk/src/Makefile @@ -1,6 +1,7 @@ BASE=ocaml/opam:alpine-3.5_ocaml-4.04.0 FILES=$(shell find . -name jbuild) \ - $(shell find sdk/ -regex '.*\.mli?') \ + $(shell find sdk/ -name '*.ml') \ + $(shell find sdk/ -name '*.mli') \ dhcp-client/bpf/dhcp.c dhcp-client/main.ml IMAGE=dhcp-client OBJS=obj/dhcp-client