From 1b1c5f032d8325537a5b8abe14d8954e93013a57 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Mon, 2 Apr 2018 23:15:07 +0800 Subject: [PATCH] Test to show broken lazy loading of rules --- test/blackbox-tests/test-cases/odoc/jbuild | 5 +++++ test/blackbox-tests/test-cases/odoc/run.t | 4 ++++ 2 files changed, 9 insertions(+) diff --git a/test/blackbox-tests/test-cases/odoc/jbuild b/test/blackbox-tests/test-cases/odoc/jbuild index 79f74895..6e206671 100644 --- a/test/blackbox-tests/test-cases/odoc/jbuild +++ b/test/blackbox-tests/test-cases/odoc/jbuild @@ -16,3 +16,8 @@ ((name runtest) (deps (_doc/_html/index.html)) (action (echo "${read:_doc/_html/index.html}")))) + +(alias + ((name foo-mld) + (deps (_doc/_mlds/foo/index.mld)) + (action (echo "${read:_doc/_mlds/foo/index.mld}")))) diff --git a/test/blackbox-tests/test-cases/odoc/run.t b/test/blackbox-tests/test-cases/odoc/run.t index c7077588..bc11aef2 100644 --- a/test/blackbox-tests/test-cases/odoc/run.t +++ b/test/blackbox-tests/test-cases/odoc/run.t @@ -31,3 +31,7 @@ + + $ $JBUILDER build @foo-mld -j1 --display short --root . + No rule found for _doc/_mlds/foo/index.mld + [1]