From e5fc13f6db0758b41f6907c316a605b297e9eb5a Mon Sep 17 00:00:00 2001 From: Akos Kiss Date: Tue, 8 Jan 2019 09:57:51 +0100 Subject: [PATCH] Build test disabled jerry-libm (#2681) JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu --- tools/run-tests.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/run-tests.py b/tools/run-tests.py index 80b28d6b5..dd89dab34 100755 --- a/tools/run-tests.py +++ b/tools/run-tests.py @@ -142,6 +142,8 @@ JERRY_BUILDOPTIONS = [ platform.system() != 'Linux' or (platform.machine() != 'i386' and platform.machine() != 'x86_64'), '-m32 is only supported on x86[-64]-linux') ), + Options('buildoption_test-no_jerry_libm', + ['--jerry-libm=off', '--link-lib=m']), Options('buildoption_test-no_lcache_prophashmap', ['--compile-flag=-DCONFIG_ECMA_LCACHE_DISABLE', '--compile-flag=-DCONFIG_ECMA_PROPERTY_HASHMAP_DISABLE']), Options('buildoption_test-external_context',