diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-01-19 14:21:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-19 14:21:22 +0100 |
| commit | c8c03afa5762624b37877c00485a5b0ca0d07797 (patch) | |
| tree | 10dac9e87e897a38fc2e4b273e99d3e8a2254701 | |
| parent | 4eeb0954374c93bd0938f5e3103200a2e59da3fb (diff) | |
| parent | 0772dbbb09bb28602756c964188563c64e78bc9c (diff) | |
Rollup merge of #57659 - jethrogb:jb/release-manifest, r=alexcrichton
Fix release manifest generation r? @alexcrichton
| -rw-r--r-- | src/tools/build-manifest/src/main.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/build-manifest/src/main.rs b/src/tools/build-manifest/src/main.rs index 8c1baa55bcd..4ca285b9b1d 100644 --- a/src/tools/build-manifest/src/main.rs +++ b/src/tools/build-manifest/src/main.rs @@ -95,6 +95,7 @@ static TARGETS: &'static [&'static str] = &[ "wasm32-unknown-unknown", "x86_64-apple-darwin", "x86_64-apple-ios", + "x86_64-fortanix-unknown-sgx", "x86_64-fuchsia", "x86_64-linux-android", "x86_64-pc-windows-gnu", |