From 5169c2558fc40d37418477cbb1f58144618d9e11 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sat, 1 Aug 2009 19:51:59 +0000
Subject: Rename intrinsic library to libkleeRuntimeInstrinsic, for
 consistency.

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

(limited to 'runtime/Intrinsic')

diff --git a/runtime/Intrinsic/Makefile b/runtime/Intrinsic/Makefile
index ce4a34ba..721b9772 100644
--- a/runtime/Intrinsic/Makefile
+++ b/runtime/Intrinsic/Makefile
@@ -9,7 +9,7 @@
 
 LEVEL=../..
 
-LIBRARYNAME=intrinsic
+LIBRARYNAME=kleeRuntimeIntrinsic
 DONT_BUILD_RELINKED=1
 BUILD_ARCHIVE=1
 BYTECODE_LIBRARY=1
-- 
cgit 1.4.1