use gmake on systems where it is available (OpenBSD)

This commit is contained in:
Lephenixnoir 2021-03-18 09:55:24 +01:00
parent 508c70fdcb
commit a795a18b5a
No known key found for this signature in database
GPG key ID: 1BBA026E13FC0495

View file

@ -138,8 +138,14 @@ class LocalRepo:
# Make commands
def make(self, target, env=None):
# Use GNU Make even on OpenBSD
if shutil.which("gmake") is not None:
command = "gmake"
else:
command = "make"
with ChangeDirectory(self.folder):
return run(["make", "-f", "giteapc.make", target], env=env)
return run([command, "-f", "giteapc.make", target], env=env)
def set_config(self, config):
source = self.folder + f"/giteapc-config.make"