diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-05-03 19:08:02 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-05-03 19:08:02 +0100 |
| commit | 6ec835dfef90a2f940a24b126cba8e3d8ede1ef2 (patch) | |
| tree | 6ea5ce8b48c252c1d93b229a49d6199e18efffe7 /unix/main.c | |
| parent | 1549f17038533aa2b774d2f863d80b14dd5eb412 (diff) | |
Don't print git hash as well as git tag in banner.v1.0
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 af818de08..6354184fd 100644 --- a/unix/main.c +++ b/unix/main.c @@ -142,7 +142,7 @@ STATIC char *prompt(char *p) { } STATIC void do_repl(void) { - printf("Micro Python " MICROPY_GIT_TAG " (" MICROPY_GIT_HASH " on " MICROPY_BUILD_DATE "); UNIX version\n"); + printf("Micro Python " MICROPY_GIT_TAG " on " MICROPY_BUILD_DATE "; UNIX version\n"); for (;;) { char *line = prompt(">>> "); |