diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2024-06-19 21:54:45 +0200 |
|---|---|---|
| committer | Emil Fresk <emil.fresk@gmail.com> | 2024-06-23 08:05:45 +0200 |
| commit | d89f91109f2f7e4d7c1b872bdda2a8e8b27f6e4d (patch) | |
| tree | 59c8476c7b9fd6dccfcd3b4eecccd754bedb89a0 | |
| parent | f3ae9d166d4b3e1fa4fe5f396363e8c1a09ccbe8 (diff) | |
xtasks: handle platform flagged as unused
| -rw-r--r-- | xtask/src/cargo_command.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xtask/src/cargo_command.rs b/xtask/src/cargo_command.rs index 78e81b1..ab57fd7 100644 --- a/xtask/src/cargo_command.rs +++ b/xtask/src/cargo_command.rs @@ -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>>, |