Don't print git hash as well as git tag in banner.

dpgeorge · dpgeorge · commit 6ec835dfef90 · 2014-05-03T19:08:02.000+01:00
diff --git a/stmhal/pyexec.c b/stmhal/pyexec.c
@@ -155,7 +155,7 @@ int pyexec_friendly_repl(void) {
 #endif
 
 friendly_repl_reset:
-    stdout_tx_str("Micro Python " MICROPY_GIT_TAG " (" MICROPY_GIT_HASH " on " MICROPY_BUILD_DATE "); " MICROPY_HW_BOARD_NAME " with STM32F405RG\r\n");
+    stdout_tx_str("Micro Python " MICROPY_GIT_TAG " on " MICROPY_BUILD_DATE "; " MICROPY_HW_BOARD_NAME " with STM32F405RG\r\n");
     stdout_tx_str("Type \"help()\" for more information.\r\n");
 
     // to test ctrl-C
diff --git 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(">>> ");

Original file line number	Diff line number	Diff line change
`@@ -142,7 +142,7 @@ STATIC char prompt(char p) {`
`142`	`142`	`}`
`143`	`143`
`144`	`144`	`STATIC void do_repl(void) {`
`145`		`- printf("Micro Python " MICROPY_GIT_TAG " (" MICROPY_GIT_HASH " on " MICROPY_BUILD_DATE "); UNIX version\n");`
	`145`	`+ printf("Micro Python " MICROPY_GIT_TAG " on " MICROPY_BUILD_DATE "; UNIX version\n");`
`146`	`146`
`147`	`147`	`for (;;) {`
`148`	`148`	`char *line = prompt(">>> ");`