From 1abaf7429307b03fa3aae4d14335d3b69c1ef931 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Sun, 22 Jan 2017 12:14:26 +1100
Subject: [PATCH] unix: Enable MICROPY_PY_BUILTINS_HELP_MODULES 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 2d7ace245..9f237775e 100644
--- a/unix/mpconfigport_coverage.h
+++ b/unix/mpconfigport_coverage.h
@@ -30,6 +30,7 @@
 #include <mpconfigport.h>
 
 #define MICROPY_PY_BUILTINS_HELP       (1)
+#define MICROPY_PY_BUILTINS_HELP_MODULES (1)
 #define MICROPY_PY_URANDOM_EXTRA_FUNCS (1)
 #define MICROPY_PY_IO_BUFFEREDWRITER (1)
 #undef MICROPY_FSUSERMOUNT
-- 
GitLab