Merge pull request #189 from jpdeplaix/master

Fix #188 by adding lower bound on jbuilder
This commit is contained in:
Simon Cruanes 2018-02-14 11:57:43 -06:00 committed by GitHub
commit 02f8af6dbe
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -9,7 +9,7 @@ build: [
build-doc: [ "jbuilder" "build" "@doc" ]
build-test: [ "jbuilder" "runtest" "-p" name "-j" jobs]
depends: [
"jbuilder" {build}
"jbuilder" {build & >= "1.0+beta12"}
"result"
]
depopts: [