diff --git a/mps/test/test/script/platform b/mps/test/test/script/platform index 6b5b457d264..1ab21aae997 100644 --- a/mps/test/test/script/platform +++ b/mps/test/test/script/platform @@ -29,7 +29,7 @@ sub platform_settings { &settings_macosx(); } elsif ($PLATFORM =~ "^fr") { &settings_unix(); - &settings_linux(); + &settings_freebsd(); } else { die "Sorry: I don't know how to use $PLATFORM.\n"; } @@ -140,6 +140,12 @@ sub settings_linux { } +sub settings_freebsd { + $make_command = "gmake -B -f $PLATFORM.gmk VARIETY=$VARIETY $link_obj"; + $cc_link .= " -lpthread"; +} + + sub settings_macosx { local $config = "Debug"; if ($VARIETY eq "hot") {