diff options
author | Damien George <damien.p.george@gmail.com> | 2018-12-15 15:13:33 +1100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2018-12-22 01:40:38 +1100 |
commit | 7cd59c5bc3ed2d4ade54e73fae18985b4b46ee42 (patch) | |
tree | 34524fa1c2f31addcad3374c8f05702128cd8a5c /extmod/modwebrepl.c | |
parent | ce0c58117913f805db99767b22ecb7255b8686a1 (diff) |
py/mpconfig: Move MICROPY_VERSION macros to static ones in mpconfig.h.
It's more robust to have the version defined statically in a header file,
rather than dynamically generating it via git using a git tag. In case
git doesn't exist, or a different source control tool is used, it's
important to still have the uPy version number available.
Diffstat (limited to 'extmod/modwebrepl.c')
-rw-r--r-- | extmod/modwebrepl.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/extmod/modwebrepl.c b/extmod/modwebrepl.c index 06da210d1..3c33ee150 100644 --- a/extmod/modwebrepl.c +++ b/extmod/modwebrepl.c @@ -35,7 +35,6 @@ #include "py/mphal.h" #endif #include "extmod/modwebsocket.h" -#include "genhdr/mpversion.h" #if MICROPY_PY_WEBREPL |