diff --git a/mps/qa/test/script/platform b/mps/qa/test/script/platform index 8bde02d954c..c51a8edeb9a 100644 --- a/mps/qa/test/script/platform +++ b/mps/qa/test/script/platform @@ -29,7 +29,7 @@ sub platform_settings { if ($PLATFORM =~ "^sos8gp") { &settings_gprof(); } - } elsif ($PLATFORM =~ "::unix") { + } elsif ($PLATFORM =~ "__unix") { &logcomment("I don't know anything specific about $PLATFORM --"); &logcomment("using generic unix/gcc settings."); &settings_unix();