mirror of https://github.com/ecmwf/eccodes.git
Merge branch 'develop' into feature/localTime
This commit is contained in:
commit
91379a838d
|
@ -69,7 +69,7 @@ int grib_tool_init(grib_runtime_options* options)
|
||||||
options->dump_mode = "default";
|
options->dump_mode = "default";
|
||||||
|
|
||||||
if (opt > 1) {
|
if (opt > 1) {
|
||||||
printf("%s: simultaneous j/O/D options not allowed\n", tool_name);
|
fprintf(stderr, "%s: simultaneous j/O/D options not allowed\n", tool_name);
|
||||||
exit(1);
|
exit(1);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue