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