diff options
| author | Andy Wingo <wingo@pobox.com> | 2016-08-28 11:37:19 +0200 |
|---|---|---|
| committer | Andy Wingo <wingo@pobox.com> | 2016-08-28 11:37:19 +0200 |
| commit | 57aff02646287dc8c74a1abb34dd24440d0f96eb (patch) | |
| tree | a414b3c9a93f368bb046448aeaa30db3af7e6051 /prebuilt | |
| parent | af360e5ce5c63c475d4016c7b9f558fd527b892b (diff) | |
Add prebuilt alias for x86_64-pc-linux-gnu
* prebuilt/x86_64-pc-linux-gnu: Add as alias to
x86_64-unknown-linux-gnu.
Diffstat (limited to 'prebuilt')
| l--------- | prebuilt/x86_64-pc-linux-gnu | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/prebuilt/x86_64-pc-linux-gnu b/prebuilt/x86_64-pc-linux-gnu new file mode 120000 index 000000000..7ef2cbd31 --- /dev/null +++ b/prebuilt/x86_64-pc-linux-gnu @@ -0,0 +1 @@ +./x86_64-unknown-linux-gnu
\ No newline at end of file |