sysdeps/linux: fix formatting of new sysdeps
@@ -820,11 +820,10 @@ int sys_getgroups(size_t size, const gid_t *list, int *retval) {
}
int sys_dup(int fd, int flags, int *newfd) {
+ __ensure(!flags);
auto ret = do_cp_syscall(SYS_dup, fd);
if (int e = sc_error(ret); e)
return e;
- // TODO: Handle flags
- (void) flags;
*newfd = sc_int_result<int>(ret);
return 0;
}
