diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-04-22 17:38:05 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-04-28 23:52:36 +0100 |
| commit | 95f53461c2c42490d12acd41463b86f0056e6f40 (patch) | |
| tree | a8066e0333a21ba1d47b89434061468a364e8689 /py/modsys.c | |
| parent | d11317bcab8bfa9c702d0c708aa95381aad4fd84 (diff) | |
py: Replace py-version.sh with makeversionhdr.py, written in Python.
Also rename py-version.h to mpversion.h for consistency with mpconfig.h.
Diffstat (limited to 'py/modsys.c')
| -rw-r--r-- | py/modsys.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/py/modsys.c b/py/modsys.c index aad0fb8d7..73ee320e9 100644 --- a/py/modsys.c +++ b/py/modsys.c @@ -35,7 +35,7 @@ #if MICROPY_PY_SYS -#include "genhdr/py-version.h" +#include "genhdr/mpversion.h" /// \module sys - system specific functions |