diff --git a/kernel/gzip.cc b/kernel/gzip.cc index 4567fe03b..6790b536e 100644 --- a/kernel/gzip.cc +++ b/kernel/gzip.cc @@ -102,6 +102,8 @@ gzip_istream::ibuf::~ibuf() { // returns the original ifstream, rewound to the start. // Never returns nullptr or failed state istream* std::istream* uncompressed(const std::string filename, std::ios_base::openmode mode) { + if (!check_file_exists(filename)) + log_cmd_error("File `%s' not found or is a directory\n", filename.c_str()); std::ifstream* f = new std::ifstream(); f->open(filename, mode); if (f->fail())