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 /unix/main.c | |
| parent | d11317bcab8bfa9c702d0c708aa95381aad4fd84 (diff) | |
| download | micropython-95f53461c2c42490d12acd41463b86f0056e6f40.tar.gz micropython-95f53461c2c42490d12acd41463b86f0056e6f40.zip | |
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 'unix/main.c')
| -rw-r--r-- | unix/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/main.c b/unix/main.c index 4729b63f64..4a71bfac6f 100644 --- a/unix/main.c +++ b/unix/main.c @@ -43,7 +43,7 @@ #include "py/repl.h" #include "py/gc.h" #include "py/stackctrl.h" -#include "genhdr/py-version.h" +#include "genhdr/mpversion.h" #include "input.h" // Command line options, with their defaults |