From 6ec835dfef90a2f940a24b126cba8e3d8ede1ef2 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Sat, 3 May 2014 19:08:02 +0100
Subject: [PATCH] Don't print git hash as well as git tag in banner.

---
 stmhal/pyexec.c | 2 +-
 unix/main.c     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/stmhal/pyexec.c b/stmhal/pyexec.c
index ded20e1481..00025c8c6f 100644
--- 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
index af818de087..6354184fdc 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(">>> ");