From a55a6a35f5f228fe49b6fec2a9d24afd025874a4 Mon Sep 17 00:00:00 2001 From: Louis Mandel Date: Wed, 15 Nov 2017 17:11:48 -0500 Subject: [PATCH] Fix missing file dependency. --- wcs-lib/jbuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wcs-lib/jbuild b/wcs-lib/jbuild index 603b865..5a509f1 100644 --- a/wcs-lib/jbuild +++ b/wcs-lib/jbuild @@ -44,7 +44,7 @@ (rule ((targets (wcs_t.rzi)) - (deps (wcs_t.mli json_t.rzi)) + (deps (wcs_t.mli json_t.rzi json_spel_t.rzi)) (action (run rmlc -c ${<})))) (rule