diff options
Diffstat (limited to 'test/native')
-rw-r--r-- | test/native/dune | 2 | ||||
-rw-r--r-- | test/native/native_hello.ml | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/test/native/dune b/test/native/dune new file mode 100644 index 0000000..6ce5a45 --- /dev/null +++ b/test/native/dune @@ -0,0 +1,2 @@ +(test + (name native_hello)) diff --git a/test/native/native_hello.ml b/test/native/native_hello.ml new file mode 100644 index 0000000..ea57e57 --- /dev/null +++ b/test/native/native_hello.ml @@ -0,0 +1,2 @@ +let () = + print_endline "Hello, world!" |