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

sdk: add empty mli files to executable to catch up more warnings

Browse Source 
Signed-off-by: Thomas Gazagnaire <thomas@gazagnaire.org>
This commit is contained in:
Thomas Gazagnaire 2017-06-19 17:14:31 +02:00
parent 2ef504405b
commit 681781651f
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
projects/miragesdk/src/dhcp-client-calf/unikernel.mli Normal file
View File

@ -0,0 +1 @@
(* empty *)

1
projects/miragesdk/src/dhcp-client/main.mli Normal file
View File

@ -0,0 +1 @@
(* empty *)