git.annexia.org
/
virt-df.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Added configure_input headers to generated files.
[virt-df.git]
/
diskzip
/
diskzip.ml
diff --git
a/diskzip/diskzip.ml
b/diskzip/diskzip.ml
index
7e2969a
..
75fffc6
100644
(file)
--- a/
diskzip/diskzip.ml
+++ b/
diskzip/diskzip.ml
@@
-39,10
+39,11
@@
let rec main () =
match name with
| "diskzcat" -> false
| "diskzip" -> true
match name with
| "diskzcat" -> false
| "diskzip" -> true
- |
name
->
+ |
_
->
eprintf
(f_"diskzip: unknown executable name '%s', assuming 'diskzip'\n")
eprintf
(f_"diskzip: unknown executable name '%s', assuming 'diskzip'\n")
- name in
+ name;
+ true in
let compressing = ref compressing in
(* Command line argument parsing. *)
let compressing = ref compressing in
(* Command line argument parsing. *)