From 83b525946406ff3751182b2c0c54905f455e0f16 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Thu, 26 Jul 2012 18:20:25 +0000
Subject: Patch by Dan Liew: "fixed mistake in autoconf substitution variable
 name."

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@160792 91177308-0d34-0410-b5e6-96231b3b80d8
---
 Makefile.config.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.config.in b/Makefile.config.in
index a338f0d1..b4a5091c 100644
--- a/Makefile.config.in
+++ b/Makefile.config.in
@@ -19,7 +19,7 @@ LLVM_BUILD_MODE = @LLVM_BUILD_MODE@
 PROJ_SRC_ROOT := $(subst //,/,@abs_top_srcdir@)
 
 # Set the root directory of this project's object files
-PROJ_OBJ_ROOT := $(subst //,/,@abs_top_objdir@)
+PROJ_OBJ_ROOT := $(subst //,/,@abs_top_builddir@)
 
 # Set the root directory of this project's install prefix
 PROJ_INSTALL_ROOT := @prefix@
-- 
cgit 1.4.1