diff options
| author |  homunkulus <homunkulus@gmx.com>
| 2017-12-09 14:26:38 +0000 |
|---|---|---|
| committer | homunkulus <homunkulus@gmx.com>
| 2017-12-09 14:26:38 +0000 |
| commit | 40ebb93cc6ec8533d4532853c3fd01693af09d8e (patch) | |
| tree | 2a452f6e7d7d02bc9d17494554f04afcab8efd63 /examples/preemption.rs | |
| parent | 0a0e0e2b382d826ac7b423c91f39d2abf91a010f (diff) | |
| parent | d6c240f9743067c81e68adcf35c60304573db8b9 (diff) | |
| download | rtic-40ebb93cc6ec8533d4532853c3fd01693af09d8e.tar.gz rtic-40ebb93cc6ec8533d4532853c3fd01693af09d8e.tar.zst rtic-40ebb93cc6ec8533d4532853c3fd01693af09d8e.zip | |
Auto merge of #56 - japaric:not-send, r=japaric
make resource proxies !Send
None
Diffstat (limited to 'examples/preemption.rs')
| -rw-r--r-- | examples/preemption.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/preemption.rs b/examples/preemption.rs index 5fda37d5..98dde8d1 100644 --- a/examples/preemption.rs +++ b/examples/preemption.rs @@ -1,5 +1,6 @@ //! Two tasks running at *different* priorities with access to the same resource #![deny(unsafe_code)] +#![deny(warnings)] #![feature(proc_macro)] #![no_std] |