tls-eio: ensure mdx tests runs under vendored scenario

mirleft · Dec 14, 2022 · 2b084f9 · 2b084f9
1 parent 87a0c94
commit 2b084f9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -14,4 +14,6 @@ mirage/*/tls_server
 Makefile
 key_gen.ml
 
-random/
+random/
+vendor
+dune
diff --git a/eio/tests/dune b/eio/tests/dune
@@ -10,6 +10,7 @@
     server-ec.pem
     server-ec.key
     (package tls-eio)
+    (package mirage-crypto-rng-eio)
     (package eio_main)))
 
 ; "dune runtest" just does a quick run with random inputs.
-Original file line number
+Diff line change
@@ Expand Up / @@ -14,4 +14,6 @@ mirage/*/tls_server @@
     Makefile
     key_gen.ml
-    random/
+    random/
+    vendor
+    dune