diff options
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/CMakeLists.txt | 4 | ||||
| -rw-r--r-- | runtime/Freestanding/CMakeLists.txt (renamed from runtime/FreeStanding/CMakeLists.txt) | 2 | ||||
| -rw-r--r-- | runtime/Freestanding/memcmp.c (renamed from runtime/FreeStanding/memcmp.c) | 0 | ||||
| -rw-r--r-- | runtime/Freestanding/memcpy.c (renamed from runtime/FreeStanding/memcpy.c) | 0 | ||||
| -rw-r--r-- | runtime/Freestanding/memmove.c (renamed from runtime/FreeStanding/memmove.c) | 0 | ||||
| -rw-r--r-- | runtime/Freestanding/memset.c (renamed from runtime/FreeStanding/memset.c) | 0 |
6 files changed, 3 insertions, 3 deletions
diff --git a/runtime/CMakeLists.txt b/runtime/CMakeLists.txt index 327f5407..52f4e766 100644 --- a/runtime/CMakeLists.txt +++ b/runtime/CMakeLists.txt @@ -85,12 +85,12 @@ foreach (_suffix ${LIB_BC_SUFFIX}) list(APPEND "LIB_BC_FLAGS_${_suffix}" ${COMMON_CC_FLAGS}) endforeach () -add_subdirectory(FreeStanding) +add_subdirectory(Freestanding) add_subdirectory(Intrinsic) add_subdirectory(klee-libc) set(RUNTIME_LIBRARIES - RuntimeFreeStanding + RuntimeFreestanding RuntimeIntrinsic RuntimeKLEELibc ) diff --git a/runtime/FreeStanding/CMakeLists.txt b/runtime/Freestanding/CMakeLists.txt index cf558a7d..872a4f05 100644 --- a/runtime/FreeStanding/CMakeLists.txt +++ b/runtime/Freestanding/CMakeLists.txt @@ -7,7 +7,7 @@ # #===------------------------------------------------------------------------===# -set(LIB_PREFIX "RuntimeFreeStanding") +set(LIB_PREFIX "RuntimeFreestanding") set(SRC_FILES memcmp.c memcpy.c diff --git a/runtime/FreeStanding/memcmp.c b/runtime/Freestanding/memcmp.c index 566daf48..566daf48 100644 --- a/runtime/FreeStanding/memcmp.c +++ b/runtime/Freestanding/memcmp.c diff --git a/runtime/FreeStanding/memcpy.c b/runtime/Freestanding/memcpy.c index c7c6e6d3..c7c6e6d3 100644 --- a/runtime/FreeStanding/memcpy.c +++ b/runtime/Freestanding/memcpy.c diff --git a/runtime/FreeStanding/memmove.c b/runtime/Freestanding/memmove.c index ee0e53ae..ee0e53ae 100644 --- a/runtime/FreeStanding/memmove.c +++ b/runtime/Freestanding/memmove.c diff --git a/runtime/FreeStanding/memset.c b/runtime/Freestanding/memset.c index b439001e..b439001e 100644 --- a/runtime/FreeStanding/memset.c +++ b/runtime/Freestanding/memset.c |