diff options
author | Karl Berry <karl@freefriends.org> | 2017-09-16 00:21:42 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-09-16 00:21:42 +0000 |
commit | c1d0fd64a402cfd83606524a75cc72d07caf2551 (patch) | |
tree | fe7731a73880692ccea995a70c64fac88d3cbfee /Build/source/build-aux | |
parent | 555fc87d97e1e35654ab9b79cc9b8a528c1581e0 (diff) |
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@45315 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/build-aux')
-rwxr-xr-x | Build/source/build-aux/config.sub | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/build-aux/config.sub b/Build/source/build-aux/config.sub index 5fae503f1b3..6e08808944c 100755 --- a/Build/source/build-aux/config.sub +++ b/Build/source/build-aux/config.sub @@ -1256,6 +1256,9 @@ case $basic_machine in basic_machine=hppa1.1-winbond os=-proelf ;; + x64) + basic_machine=x86_64-pc + ;; xbox) basic_machine=i686-pc os=-mingw32 |