From 681781651f176eae1dc776ed95e4e9a8509629dc Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Mon, 19 Jun 2017 17:14:31 +0200 Subject: [PATCH] sdk: add empty mli files to executable to catch up more warnings Signed-off-by: Thomas Gazagnaire --- projects/miragesdk/src/dhcp-client-calf/unikernel.mli | 1 + projects/miragesdk/src/dhcp-client/main.mli | 1 + 2 files changed, 2 insertions(+) create mode 100644 projects/miragesdk/src/dhcp-client-calf/unikernel.mli create mode 100644 projects/miragesdk/src/dhcp-client/main.mli diff --git a/projects/miragesdk/src/dhcp-client-calf/unikernel.mli b/projects/miragesdk/src/dhcp-client-calf/unikernel.mli new file mode 100644 index 000000000..e790aeb70 --- /dev/null +++ b/projects/miragesdk/src/dhcp-client-calf/unikernel.mli @@ -0,0 +1 @@ +(* empty *) diff --git a/projects/miragesdk/src/dhcp-client/main.mli b/projects/miragesdk/src/dhcp-client/main.mli new file mode 100644 index 000000000..e790aeb70 --- /dev/null +++ b/projects/miragesdk/src/dhcp-client/main.mli @@ -0,0 +1 @@ +(* empty *)