Pino Toscano 5630e0eb05 dib: add --drive-format ...

Allow to specify the format of the helper drive, to avoid relying on the
format autodetection.  This is the same approach used also in all the
other tools.

2016-08-04 14:43:21 +02:00

..

cmdline.ml

dib: add --drive-format

2016-08-04 14:43:21 +02:00

cmdline.mli

dib: add --drive-format

2016-08-04 14:43:21 +02:00

dib.ml

dib: add --drive-format

2016-08-04 14:43:21 +02:00

dummy.c

mllib: Build a mllib.cma/mllib.cmxa library.

2016-07-14 15:28:10 +01:00

elements.ml

mllib: move is_regular_file there

2015-10-15 16:24:25 +02:00

Makefile.am

tests: Add script to check documented tool options match actual options.

2016-07-19 13:06:14 +01:00

test-virt-dib-docs.sh

tests: Add script to check documented tool options match actual options.

2016-07-19 13:06:14 +01:00

utils.ml

mllib: move which and its exception from dib

2016-08-03 10:07:04 +02:00

virt-dib.pod

dib: add --drive-format

2016-08-04 14:43:21 +02:00