From abd909d791d8212b605ac71db7548b751167c118 Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Wed, 4 Dec 2019 21:29:42 +0100 Subject: [PATCH] build: Fix configure host detection for Arch. Thanks, Jelle! * configure (main): Grok `CPU-pc-linux-gnu'. --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 53761fcc..8a6b25ad 100755 --- a/configure +++ b/configure @@ -501,7 +501,7 @@ Some influential environment variables: "32")) (mes-libc (if system-libc? "system" "mes")) - (kernel-list (filter (compose not (cut equal? <> "unknown")) (cdr build-type-list))) + (kernel-list (filter (compose not (cut member <> '("pc" "unknown"))) (cdr build-type-list))) (mes-kernel (cond ((or (equal? '("linux" "gnu") kernel-list) (equal? "linux" (car kernel-list))) "linux") ((equal? '( "gnu") kernel-list) "gnu")