Skip to content

Commit

Permalink
Rename all jbuild.inc files
Browse files Browse the repository at this point in the history
  • Loading branch information
Jeremie Dimino authored and jeremiedimino committed May 4, 2018
1 parent dc0a6d4 commit dabb77e
Show file tree
Hide file tree
Showing 4 changed files with 6 additions and 6 deletions.
6 changes: 3 additions & 3 deletions doc/dune
Original file line number Diff line number Diff line change
Expand Up @@ -18,15 +18,15 @@
((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 ${@}
(run bash ${path:update-jbuild.sh})))))

(alias
((name runtest)
(action (diff jbuild.inc jbuild.inc.gen))))
(action (diff dune.inc dune.inc.gen))))
File renamed without changes.
6 changes: 3 additions & 3 deletions test/blackbox-tests/dune
Original file line number Diff line number Diff line change
Expand Up @@ -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))))
File renamed without changes.

0 comments on commit dabb77e

Please sign in to comment.