Rudi Grinberg 058643608c Jbuilder exec rebuilt if possible option (#345) ... Make jbuilder exec build its target Jbuilder will now attempt to rebuild the target before executing it. This option can be turned off by passing in --no-build		2017-12-11 18:23:07 +08:00
..
jbuild	Add an "executable" stanza and make it easier to install executables	2017-03-22 15:09:26 +00:00
main.ml	Jbuilder exec rebuilt if possible option (#345)	2017-12-11 18:23:07 +08:00
main.mli	added jbuilder extract-makefile	2017-05-18 19:05:01 +01:00