From 14f620bc7f18f47dbdf7c1b652c0d8184632bfbb Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 1 May 2018 12:14:27 +0100 Subject: [PATCH] _ --- test/blackbox-tests/jbuild.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/blackbox-tests/jbuild.inc b/test/blackbox-tests/jbuild.inc index ed9ac7b0af90..f366d6876b17 100644 --- a/test/blackbox-tests/jbuild.inc +++ b/test/blackbox-tests/jbuild.inc @@ -169,7 +169,7 @@ (alias ((name github717-odoc-index) (deps - ((package jbuilder) (files_recursively_in test-cases/github717-odoc-index))) + ((package dune) (files_recursively_in test-cases/github717-odoc-index))) (action (chdir test-cases/github717-odoc-index