aboutsummaryrefslogtreecommitdiff
path: root/build.rs
diff options
context:
space:
mode:
authorJorge Aparicio <japaricious@gmail.com>2017-04-13 23:52:02 -0500
committerJorge Aparicio <japaricious@gmail.com>2017-04-13 23:52:02 -0500
commit398a5ebc5c7ad10e3278aea7ff61da2644c04748 (patch)
treeb2bf2a073711f80dbc0a9e466d495c0fdd865220 /build.rs
parent46baa7ea708be8a4a0c14aa9d3a2854f6585a3c2 (diff)
add `critical`, a global critical section
Diffstat (limited to 'build.rs')
-rw-r--r--build.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/build.rs b/build.rs
index 7f85740..2879705 100644
--- a/build.rs
+++ b/build.rs
@@ -93,7 +93,7 @@ fn main() {
let u = Ident::new(format!("U{}", (1 << bits)));
tokens.push(
quote! {
- #[doc(hidden)]
+ /// Maximum ceiling
pub type CMAX = C<::typenum::#u>;
/// Maximum priority level