From 42dbb3bd5ac8d7fea5e46df3cf474eec75d3ad06 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Mon, 12 Sep 2016 12:53:25 +0100
Subject: [PATCH] Need gmake on freebsd ("make" is bsd make).

Copied from Perforce
 Change: 192297
 ServerID: perforce.ravenbrook.com
---
 mps/test/test/script/platform | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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") {