From a41d46e19346204d2109a44dadf242d45f51011b Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Mon, 6 May 2019 14:12:09 +0200 Subject: [PATCH] base-pistachio: fix compile error with GCC 8.3.0 Fixes #3327 --- repos/base-pistachio/src/core/platform.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-pistachio/src/core/platform.cc b/repos/base-pistachio/src/core/platform.cc index 5068e4b573..d37b17cbb2 100644 --- a/repos/base-pistachio/src/core/platform.cc +++ b/repos/base-pistachio/src/core/platform.cc @@ -66,7 +66,7 @@ static unsigned long _core_pager_stack[PAGER_STACK_ELEMENTS]; static inline bool write_fault(Pistachio::L4_Word_t flags) { - return (flags & 2) == 1; } + return (flags & 2); } static bool wait_for_page_fault(Pistachio::L4_ThreadId_t &from,