jerry: use separate profile instead of polluting jerry (#383)

yodaos-project · Nov 6, 2018 · 22d99f2 · 22d99f2
1 parent 8d53446
commit 22d99f2
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -58,6 +58,8 @@ if(NOT DEFINED DISABLE_ES2015)
   set(FEATURE_PROFILE "es2015-subset")
 endif()
 
+set(FEATURE_PROFILE ${CMAKE_CURRENT_SOURCE_DIR}/profiles/jerry/default.profile)
+
 if(FEATURE_CPU_PROFILER)
   set(FEATURE_FUNCTION_NAME ON)
 endif()

diff --git a/deps/jerry/jerry-core/profiles/es2015-subset.profile b/deps/jerry/jerry-core/profiles/es2015-subset.profile
@@ -1,2 +1,2 @@
-CONFIG_DISABLE_ES2015_PROMISE_BUILTIN
+# Currently an empty profile.
 
diff --git a/profiles/jerry/default.profile b/profiles/jerry/default.profile
@@ -0,0 +1,2 @@
+CONFIG_DISABLE_ES2015_PROMISE_BUILTIN
+