diff options
| author | Miguel Ojeda <miguel.ojeda.sandonis@gmail.com> | 2020-10-02 18:27:13 +0200 |
|---|---|---|
| committer | Miguel Ojeda <miguel.ojeda.sandonis@gmail.com> | 2020-10-03 17:03:34 +0200 |
| commit | 453d1aca43efda9b19137358fc09756042c0ac90 (patch) | |
| tree | 85bb38a198311cb4a7aec011397052624d565bce /rust | |
| parent | 58ffd762f26eb282e84aaa49a647d379c029b9f6 (diff) | |
CI
Signed-off-by: Miguel Ojeda <miguel.ojeda.sandonis@gmail.com>
Diffstat (limited to 'rust')
| -rw-r--r-- | rust/kernel/src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rust/kernel/src/lib.rs b/rust/kernel/src/lib.rs index 7880928de74d..a80e6425f122 100644 --- a/rust/kernel/src/lib.rs +++ b/rust/kernel/src/lib.rs @@ -18,7 +18,10 @@ pub mod file_operations; pub mod prelude; pub mod printk; pub mod random; + +#[cfg(CONFIG_SYSCTL)] pub mod sysctl; + mod types; pub mod user_ptr; |