diff options
Diffstat (limited to 'config')
-rwxr-xr-x | config | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -126,6 +126,10 @@ case "${SYSTEM}:${RELEASE}:${VERSION}:${MACHINE}" in echo "${MACHINE}-whatever-linux1"; exit 0 ;; + GNU*) + echo "hurd-x86"; exit 0; + ;; + LynxOS:*) echo "${MACHINE}-lynx-lynxos"; exit 0 ;; |