From fe79234ca0e371af4c252e31e218d81d8171deee Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Thu, 6 Apr 2017 17:28:54 +1000
Subject: [PATCH] unix: Enabled high-quality float hashing in coverage build.

---
 unix/mpconfigport_coverage.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/unix/mpconfigport_coverage.h b/unix/mpconfigport_coverage.h
index 387e182db..5fc8d7107 100644
--- a/unix/mpconfigport_coverage.h
+++ b/unix/mpconfigport_coverage.h
@@ -32,6 +32,7 @@
 
 #include <mpconfigport.h>
 
+#define MICROPY_FLOAT_HIGH_QUALITY_HASH (1)
 #define MICROPY_ENABLE_SCHEDULER       (1)
 #define MICROPY_PY_DELATTR_SETATTR     (1)
 #define MICROPY_PY_BUILTINS_HELP       (1)
-- 
GitLab