From 80467f0f02e02eb5078bfed79c422f5f5d5ae750 Mon Sep 17 00:00:00 2001 From: Scott Owens Date: Thu, 28 Feb 2002 18:41:46 +0000 Subject: [PATCH] *** empty log message *** original commit: 5e98d6e0683a8ab05644d325164472574687853b --- collects/mred/mred.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 97dff159..42748a33 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -3814,7 +3814,8 @@ (check-label-string/false cwho label) (check-container-ready cwho parent) (when (memq 'gl style) - (unless (eq? (system-type) 'windows) + (unless (or (eq? (system-type) 'windows) + (eq? (system-type) 'unix)) (raise-mismatch-error (who->name cwho) "the 'gl style flag is not supported on this platform: " style)))))