Tools: Cleanup

This commit is contained in:
Shahram Najm 2023-08-11 22:03:09 +01:00
parent 774dbab5ec
commit b3e4351635
3 changed files with 3 additions and 0 deletions

View File

@ -67,6 +67,7 @@ int grib_tool_new_filename_action(grib_runtime_options* options, const char* fil
int grib_tool_new_file_action(grib_runtime_options* options, grib_tools_file* file)
{
exit_if_input_is_directory(tool_name, file->name);
return 0;
}

View File

@ -66,6 +66,7 @@ int grib_tool_new_filename_action(grib_runtime_options* options, const char* fil
int grib_tool_new_file_action(grib_runtime_options* options, grib_tools_file* file)
{
exit_if_input_is_directory(tool_name, file->name);
return 0;
}

View File

@ -78,6 +78,7 @@ int grib_tool_new_filename_action(grib_runtime_options* options, const char* fil
int grib_tool_new_file_action(grib_runtime_options* options, grib_tools_file* file)
{
exit_if_input_is_directory(tool_name, file->name);
return 0;
}