diff options
| -rw-r--r-- | sparsify/sparsify.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sparsify/sparsify.ml b/sparsify/sparsify.ml index dd3e043b..ff2ac5b5 100644 --- a/sparsify/sparsify.ml +++ b/sparsify/sparsify.ml @@ -305,7 +305,7 @@ let () = | None -> "" | Some option -> " -o " ^ Filename.quote option) (Filename.quote overlaydisk) (Filename.quote outdisk) in -(* if verbose then*) + if verbose then printf "%s\n%!" cmd; if Sys.command cmd <> 0 then error "external command failed: %s" cmd |