diff options
| author | Jorge Aparicio <japaricious@gmail.com> | 2017-04-13 23:52:02 -0500 |
|---|---|---|
| committer | Jorge Aparicio <japaricious@gmail.com> | 2017-04-13 23:52:02 -0500 |
| commit | 398a5ebc5c7ad10e3278aea7ff61da2644c04748 (patch) | |
| tree | b2bf2a073711f80dbc0a9e466d495c0fdd865220 /build.rs | |
| parent | 46baa7ea708be8a4a0c14aa9d3a2854f6585a3c2 (diff) | |
add `critical`, a global critical section
Diffstat (limited to 'build.rs')
| -rw-r--r-- | build.rs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |
