diff options
| -rw-r--r-- | runtime/klee-uclibc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/klee-uclibc/Makefile b/runtime/klee-uclibc/Makefile index 1e848264..e166cfbc 100644 --- a/runtime/klee-uclibc/Makefile +++ b/runtime/klee-uclibc/Makefile @@ -31,6 +31,7 @@ all-local:: $(uclibc_symlink) $(uclibc_symlink): @echo "Setting up symbolic link to klee-uclibc" + -$(Verb) $(MKDIR) $(PROJ_OBJ_ROOT)/$(BuildMode)/lib $(Verb) ln -s -f $(KLEE_UCLIBC_BCA) $(uclibc_symlink) # The reasons for copying over klee-uclibc on install are |