From 61c7fa073b53d9f849e8a716ca62c7d4c6daf1e5 Mon Sep 17 00:00:00 2001 From: Alexander Medvednikov Date: Mon, 1 Jul 2019 17:04:09 +0200 Subject: [PATCH] fix compilation on Linux --- vlib/os/os_lin.v | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 vlib/os/os_lin.v diff --git a/vlib/os/os_lin.v b/vlib/os/os_lin.v new file mode 100644 index 0000000000..3d553e42d7 --- /dev/null +++ b/vlib/os/os_lin.v @@ -0,0 +1,3 @@ +module os + +#include