1 files changed, 0 insertions, 50 deletions
diff --git a/tools/klee-stats/Makefile b/tools/klee-stats/Makefile
deleted file mode 100644
index 219d41da..00000000
--- a/tools/klee-stats/Makefile
+++ /dev/null
@@ -1,50 +0,0 @@
-#===-- tools/klee-stats/Makefile -----------------------*- Makefile -*--===#
-#
-#                     The KLEE Symbolic Virtual Machine
-#
-# This file is distributed under the University of Illinois Open Source
-# License. See LICENSE.TXT for details.
-#
-#===------------------------------------------------------------------------===#
-
-LEVEL = ../..
-
-TOOLSCRIPTNAME := klee-stats
-
-# Hack to prevent install trying to strip
-# symbols from a python script
-KEEP_SYMBOLS := 1
-
-include $(LEVEL)/Makefile.common
-
-# FIXME: Move this stuff (to "build" a script) into Makefile.rules.
-
-ToolBuildPath := $(ToolDir)/$(TOOLSCRIPTNAME)
-
-all-local:: $(ToolBuildPath)
-
-$(ToolBuildPath): $(ToolDir)/.dir
-
-$(ToolBuildPath): $(PROJ_SRC_DIR)/$(TOOLSCRIPTNAME)
-	$(Echo) Copying $(BuildMode) script $(TOOLSCRIPTNAME)
-	$(Verb) $(CP) -f $(PROJ_SRC_DIR)/$(TOOLSCRIPTNAME) "$@"
-	$(Verb) chmod 0755 "$@"
-
-ifdef NO_INSTALL
-install-local::
-	$(Echo) Install circumvented with NO_INSTALL
-uninstall-local::
-	$(Echo) Uninstall circumvented with NO_INSTALL
-else
-DestTool = $(DESTDIR)$(PROJ_bindir)/$(TOOLSCRIPTNAME)
-
-install-local:: $(DestTool)
-
-$(DestTool): $(ToolBuildPath) $(DESTDIR)$(PROJ_bindir)
-	$(Echo) Installing $(BuildMode) $(DestTool)
-	$(Verb) $(ProgInstall) $(ToolBuildPath) $(DestTool)
-
-uninstall-local::
-	$(Echo) Uninstalling $(BuildMode) $(DestTool)
-	-$(Verb) $(RM) -f $(DestTool)
-endif