diff options
| author | Miguel Ojeda <ojeda@users.noreply.github.com> | 2020-10-04 20:46:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-04 20:46:02 +0200 |
| commit | c17d29003c09d52d5ab4d61b08d59ad26f07208b (patch) | |
| tree | 85bb38a198311cb4a7aec011397052624d565bce /rust | |
| parent | 58ffd762f26eb282e84aaa49a647d379c029b9f6 (diff) | |
| parent | 453d1aca43efda9b19137358fc09756042c0ac90 (diff) | |
Merge pull request #16 from Rust-for-Linux/github-ci
Add CI
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; |