diff options
| -rw-r--r-- | tools/h5dump.c | 1 |
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]]); |