Build fix for 32-bit float ecma-number storage (#1669)

JerryScript-DCO-1.0-Signed-off-by: Robert Sipka rsipka.uszeged@partner.samsung.com
2017-03-22 14:18:43 +01:00
parent 6ddf00a9fa
commit 78e4dcf6c2
12 changed files with 27 additions and 5 deletions
@@ -86,6 +86,10 @@
           && CONFIG_ECMA_NUMBER_TYPE != CONFIG_ECMA_NUMBER_FLOAT64 */
 #endif /* !CONFIG_ECMA_NUMBER_TYPE */

+#if (!defined (CONFIG_DISABLE_DATE_BUILTIN) && (CONFIG_ECMA_NUMBER_TYPE == CONFIG_ECMA_NUMBER_FLOAT32))
+#  error "Date does not support float32"
+#endif
+
 /**
 * Representation for ecma-characters
 */