Rename all jbuild.inc files

This commit is contained in:
Jeremie Dimino 2018-05-03 14:07:15 +01:00 committed by Jérémie Dimino
parent dc0a6d4401
commit dabb77eb09
4 changed files with 6 additions and 6 deletions

View File

@ -18,10 +18,10 @@
((section man)
(files (dune-config.5))))
(include jbuild.inc)
(include dune.inc)
(rule
((targets (jbuild.inc.gen))
((targets (dune.inc.gen))
(deps ((package dune)))
(action
(with-stdout-to ${@}
@ -29,4 +29,4 @@
(alias
((name runtest)
(action (diff jbuild.inc jbuild.inc.gen))))
(action (diff dune.inc dune.inc.gen))))

View File

@ -17,13 +17,13 @@
(libraries (stdune platform usexp))
(modules (gen_tests))))
(include jbuild.inc)
(include dune.inc)
(rule
((targets (jbuild.inc.gen))
((targets (dune.inc.gen))
(deps ((files_recursively_in test-cases)))
(action (with-stdout-to ${@} (run ./gen_tests.exe)))))
(alias
((name runtest)
(action (diff jbuild.inc jbuild.inc.gen))))
(action (diff dune.inc dune.inc.gen))))