mirror of
https://github.com/rtic-rs/rtic.git
synced 2024-11-23 12:12:50 +01:00
xtasks: handle platform flagged as unused
This commit is contained in:
parent
f3ae9d166d
commit
d89f91109f
1 changed files with 1 additions and 0 deletions
|
@ -44,6 +44,7 @@ pub enum CargoCommand<'a> {
|
|||
},
|
||||
ExampleCheck {
|
||||
cargoarg: &'a Option<&'a str>,
|
||||
#[allow(dead_code)]
|
||||
platform: Platforms, // to tell which platform. If None, it assumes lm3s6965
|
||||
example: &'a str,
|
||||
target: Option<Target<'a>>,
|
||||
|
|
Loading…
Reference in a new issue