From 4000def8643dcaefe89977578f9ac458cb9dedb4 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 10 Jul 2018 14:40:59 +0100 Subject: [PATCH] Add missing directory Signed-off-by: Jeremie Dimino --- test/blackbox-tests/test-cases/too-many-parens/c/dune | 3 +++ test/blackbox-tests/test-cases/too-many-parens/c/dune-project | 1 + 2 files changed, 4 insertions(+) create mode 100644 test/blackbox-tests/test-cases/too-many-parens/c/dune create mode 100644 test/blackbox-tests/test-cases/too-many-parens/c/dune-project diff --git a/test/blackbox-tests/test-cases/too-many-parens/c/dune b/test/blackbox-tests/test-cases/too-many-parens/c/dune new file mode 100644 index 00000000..51cd065f --- /dev/null +++ b/test/blackbox-tests/test-cases/too-many-parens/c/dune @@ -0,0 +1,3 @@ +(alias + (name foo) + (deps (x y z))) diff --git a/test/blackbox-tests/test-cases/too-many-parens/c/dune-project b/test/blackbox-tests/test-cases/too-many-parens/c/dune-project new file mode 100644 index 00000000..b2559fa0 --- /dev/null +++ b/test/blackbox-tests/test-cases/too-many-parens/c/dune-project @@ -0,0 +1 @@ +(lang dune 1.0) \ No newline at end of file