From 344d46ce78d8a76544487ff2ac3e0962e830bc63 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Sun, 1 Apr 2018 11:34:01 +0200
Subject: [PATCH] Comparision operators for Genode::Path

Ref #1934
---
 repos/os/include/os/path.h | 10 ++++++++++
 1 file changed, 10 insertions(+)

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;