From dd827cae1cb90cbe597cd3f793b0bb2b1737f0e6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 8 Nov 2019 14:49:35 -0800 Subject: [PATCH] remove IS_GNU Signed-off-by: Nikolaj Bjorner --- scripts/mk_util.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index b6de10921..031ee00e4 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1829,9 +1829,9 @@ class JavaDLLComponent(Component): t = '\t$(CXX) $(CXXFLAGS) $(CXX_OUT_FLAG)api/java/Native$(OBJ_EXT) -I"%s" -I"%s/PLATFORM" -I%s %s/Native.cpp\n' % (JNI_HOME, JNI_HOME, get_component('api').to_src_dir, self.to_src_dir) if IS_OSX: t = t.replace('PLATFORM', 'darwin') - elif IS_LINUX: + elif is_linux(): t = t.replace('PLATFORM', 'linux') - elif IS_GNU: + elif is_hurd(): t = t.replace('PLATFORM', 'hurd') elif IS_FREEBSD: t = t.replace('PLATFORM', 'freebsd')