summaryrefslogtreecommitdiff
path: root/tools/common/path.h
diff options
context:
space:
mode:
authorJohn Hodge <tpg@mutabah.net>2019-02-23 12:33:35 +0800
committerJohn Hodge <tpg@mutabah.net>2019-02-23 12:33:35 +0800
commit0158e0e303cf2b9ba38a8e482df9bacb4fd4c779 (patch)
treec7cf3d8d0c7492b425bf94fd9b4d8eefecea9794 /tools/common/path.h
parent80c2add7b04e6e202d9a4f3b3c25ec498e3b5893 (diff)
parent7d728e447d70d79e93c01a7c51efbd61be09d68f (diff)
downloadmrust-0158e0e303cf2b9ba38a8e482df9bacb4fd4c779.tar.gz
Merge branch 'master' of ssh://github.com/thepowersgang/mrustc
Diffstat (limited to 'tools/common/path.h')
-rw-r--r--tools/common/path.h7
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/common/path.h b/tools/common/path.h
index eae4951f..1ad6f506 100644
--- a/tools/common/path.h
+++ b/tools/common/path.h
@@ -38,6 +38,13 @@ public:
return m_str != "";
}
+ bool operator==(const path& p) const {
+ return m_str == p.m_str;
+ }
+ bool operator!=(const path& p) const {
+ return m_str != p.m_str;
+ }
+
path& operator/=(const path& p)
{
if(!p.is_valid())