From 8e9eae0f8a5b4ce3792448e210d4f953676afe21 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bodo=20M=C3=B6ller?= Date: Fri, 11 Jun 1999 10:54:42 +0000 Subject: [PATCH] Don't use unquoted whitespace in "case" case. --- config | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config b/config index c04acf7f5a..9ab969af40 100755 --- a/config +++ b/config @@ -243,7 +243,7 @@ fi # Now NeXT ISNEXT=`hostinfo 2>/dev/null` case "$ISNEXT" in - *NeXT Mach 3.3*) + *'NeXT Mach 3.3'*) echo "whatever-next-nextstep3.3"; exit 0 ;; *NeXT*) -- 2.25.1