From 8ff919ef2aeca96fb644d445a423a4421237b123 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 29 Dec 2013 14:49:22 -0800
Subject: [PATCH] chore(build): remove dead dependency

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/shell/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
index 8ec680b28..69093318d 100644
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -1,5 +1,4 @@
 add_executable(lean lean.cpp)
-add_dependencies(lean githash)
 target_link_libraries(lean ${EXTRA_LIBS})
 
 install(TARGETS lean DESTINATION bin)