diff options
Diffstat (limited to 'runtime/Makefile.cmake.bitcode')
| -rw-r--r-- | runtime/Makefile.cmake.bitcode | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/runtime/Makefile.cmake.bitcode b/runtime/Makefile.cmake.bitcode index 94f8a60d..03da435e 100644 --- a/runtime/Makefile.cmake.bitcode +++ b/runtime/Makefile.cmake.bitcode @@ -11,6 +11,8 @@ include $(LEVEL)/Makefile.cmake.bitcode.config DIRS += Intrinsic DIRS += klee-libc +DIRS += FreeStanding + ifneq ($(ENABLE_POSIX_RUNTIME),0) DIRS += POSIX endif |