From a008fb78987a4675d12f5934f3d51bbd84c3f653 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Mon, 5 Apr 2010 04:02:31 +0000 Subject: STP: Switch build to using LLVM style Makefiles. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100395 91177308-0d34-0410-b5e6-96231b3b80d8 --- autoconf/configure.ac | 1 - 1 file changed, 1 deletion(-) (limited to 'autoconf/configure.ac') diff --git a/autoconf/configure.ac b/autoconf/configure.ac index d1f5446e..ceeffe05 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -20,7 +20,6 @@ AC_CONFIG_SRCDIR(["Makefile.config.in"]) dnl Configure a common Makefile AC_CONFIG_FILES(Makefile.config) -AC_CONFIG_FILES(stp/Makefile.common) dnl Configure project makefiles dnl List every Makefile that exists within your source tree -- cgit 1.4.1