summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tools/h5dump.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/h5dump.c b/tools/h5dump.c
index 298e427..5b4f440 100644
--- a/tools/h5dump.c
+++ b/tools/h5dump.c
@@ -1397,6 +1397,7 @@ main(int argc, char *argv[])
if (opts[i+1]-opts[i] == 1) {
if (strcmp(argv[opts[i]], "-bb") &&
strcmp(argv[opts[i]], "-header") &&
+ strcmp(argv[opts[i]], "-xml") &&
strcmp(argv[opts[i]], "-v")) {
fprintf(stderr,"h5dump error: no <names> after option %s\n",
argv[opts[i]]);