diff options
Diffstat (limited to 'gnu')
| -rwxr-xr-x | gnu/dist/gmake/config/config.guess | 3 | ||||
| -rwxr-xr-x | gnu/dist/texinfo/config.guess | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/gnu/dist/gmake/config/config.guess b/gnu/dist/gmake/config/config.guess index f1657bbc464..1846df63a16 100755 --- a/gnu/dist/gmake/config/config.guess +++ b/gnu/dist/gmake/config/config.guess @@ -861,6 +861,9 @@ EOF sparc:Linux:*:* | sparc64:Linux:*:*) echo ${UNAME_MACHINE}-unknown-linux-gnu exit 0 ;; + tile*:Linux:*:*) + echo ${UNAME_MACHINE}-unknown-linux-gnu + exit 0 ;; x86_64:Linux:*:*) echo x86_64-unknown-linux-gnu exit 0 ;; diff --git a/gnu/dist/texinfo/config.guess b/gnu/dist/texinfo/config.guess index 82294713260..b9e9d2487a2 100755 --- a/gnu/dist/texinfo/config.guess +++ b/gnu/dist/texinfo/config.guess @@ -923,6 +923,9 @@ EOF sparc:Linux:*:* | sparc64:Linux:*:*) echo ${UNAME_MACHINE}-unknown-linux-gnu exit 0 ;; + tile*:Linux:*:*) + echo ${UNAME_MACHINE}-unknown-linux-gnu + exit 0 ;; x86_64:Linux:*:*) echo x86_64-unknown-linux-gnu exit 0 ;; |
