diff options
Diffstat (limited to 'ripple')
| -rw-r--r-- | ripple/minitrace/src/main.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ripple/minitrace/src/main.rs b/ripple/minitrace/src/main.rs index 3f27b16..cd0c004 100644 --- a/ripple/minitrace/src/main.rs +++ b/ripple/minitrace/src/main.rs @@ -99,6 +99,8 @@ macro_rules! define_syscalls { }) => { #[derive(Debug, Copy, Clone)] #[allow(non_camel_case_types)] + // TODO(edef): re-enable dead_code lint when we start fully interpreting syscall args + #[allow(dead_code)] enum $enum { $($id { $($arg_id : $arg_ty),* |