From 5636f29acd3252786856240758de05b815c9a496 Mon Sep 17 00:00:00 2001 From: ge Date: Sun, 31 May 2026 22:41:12 +0300 Subject: [PATCH] Remove unnecessary attributes --- wait.c.v | 4 ---- 1 file changed, 4 deletions(-) diff --git a/wait.c.v b/wait.c.v index e4f6f81..382ec65 100644 --- a/wait.c.v +++ b/wait.c.v @@ -1,15 +1,11 @@ module runcmd -@[trusted] fn C.WIFSTOPPED(int) bool -@[trusted] fn C.WCOREDUMP(int) bool -@[trusted] fn C.WIFCONTINUED(int) bool -@[trusted] fn C.WSTOPSIG(int) int // WaitStatus stores the result value of [wait(2)](https://www.man7.org/linux/man-pages/man2/wait.2.html) syscall.