From 3fd1a13dea6de7301502484038c0f2576c55a9ae Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 4 Jun 2019 13:49:44 -0700
Subject: [PATCH] show output

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_util.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index eda7ac6fb..d3637b0b4 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -136,7 +136,7 @@ def git_hash():
         raise MKException("Failed to retrieve git hash")
     ls = r.split(' ')
     if len(ls) != 2:
-        raise MKException("Unexpected git output")
+        raise MKException("Unexpected git output " + r)
     return ls[0]
 
 def is_windows():