machinarium: update system errno too on error
@@ -30,6 +30,9 @@ static inline void
mm_errno_set(int value)
{
mm_scheduler_current(&mm_self->scheduler)->errno_ = value;
+
+ /* update system errno as well */
+ errno = value;
}
static inline int
