diff options
Diffstat (limited to 'runtime/Intrinsic')
| -rw-r--r-- | runtime/Intrinsic/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |