diff options
| author | Philipp Herzog | 2022-09-14 12:38:08 +0200 |
|---|---|---|
| committer | Philipp Herzog | 2022-11-18 13:41:54 +0100 |
| commit | d0c86650424ae60209767a90d5c93012c95b0fec (patch) | |
| tree | 105f43d6190a650b151be3826a101e289b730703 /src/data.rs | |
| parent | be40823735bbdc40c1f6b7725c8b74d5a85d8023 (diff) | |
Add option to build on the remote 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)] |