Build test disabled jerry-libm (#2681)

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
2019-01-08 09:57:51 +01:00
parent ef2c3b46d7
commit e5fc13f6db
1 changed files with 2 additions and 0 deletions
@@ -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',