diff --git a/repos/os/include/os/path.h b/repos/os/include/os/path.h index 4d7e070bbd..233b9b21a3 100644 --- a/repos/os/include/os/path.h +++ b/repos/os/include/os/path.h @@ -329,6 +329,16 @@ class Genode::Path_base return strcmp(_path, other) != 0; } + bool operator == (Path_base const &other) const + { + return strcmp(_path, other._path) == 0; + } + + bool operator != (Path_base const &other) const + { + return strcmp(_path, other._path) != 0; + } + char const *last_element() { return last_element(_path)+1;