From 40a10c217de15cea7b0fa51f175b5c65633f788a Mon Sep 17 00:00:00 2001 From: Gavin Zhang Date: Thu, 18 Aug 2022 12:55:32 +0800 Subject: [PATCH] Use make on i system (#8178) Co-authored-by: GavinZhang --- python-package/setup.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/python-package/setup.py b/python-package/setup.py index 725f82e05..ee42a9f7e 100644 --- a/python-package/setup.py +++ b/python-package/setup.py @@ -171,6 +171,8 @@ class BuildExt(build_ext.build_ext): # pylint: disable=too-many-ancestors build_tool = 'ninja' else: build_tool = 'make' + if sys.platform.startswith('os400'): + build_tool = 'make' if system() == 'Windows': # Pick up from LGB, just test every possible tool chain.