diff options
| author | Philipp Herzog | 2022-11-18 19:46:37 +0100 |
|---|---|---|
| committer | GitHub | 2022-11-18 19:46:37 +0100 |
| commit | 2a3c5f70eee04a465aa534d8bd4fcc9bb3c4a8ce (patch) | |
| tree | 105f43d6190a650b151be3826a101e289b730703 /src/data.rs | |
| parent | be40823735bbdc40c1f6b7725c8b74d5a85d8023 (diff) | |
| parent | d0c86650424ae60209767a90d5c93012c95b0fec (diff) | |
Merge pull request #175 from serokell/philtaken/remote-building
Add option to build on the target host
Diffstat (limited to '')
| -rw-r--r-- | src/data.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/data.rs b/src/data.rs index b00a4d0..90ea331 100644 --- a/src/data.rs +++ b/src/data.rs @@ -30,6 +30,8 @@ pub struct GenericSettings { pub magic_rollback: Option<bool>, #[serde(rename(deserialize = "sudo"))] pub sudo: Option<String>, + #[serde(default,rename(deserialize = "remoteBuild"))] + pub remote_build: Option<bool>, } #[derive(Deserialize, Debug, Clone)] |