diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-09 17:09:03 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-09 17:09:03 +0000 |
| commit | 05baefe2505943311abaeb28543e8d1222a3c9a7 (patch) | |
| tree | e3c2990fc95e2bc6755d7488bbeb258165be52ce /runtime | |
| parent | 8754d26cc5e1558f4dd9c55ad7129e2ad4189fdb (diff) | |
| download | klee-05baefe2505943311abaeb28543e8d1222a3c9a7.tar.gz | |
Fixed race condition in parallel build where a symbolic link
(for klee-uclibc) would be created before the destination directory existed.
Diffstat (limited to 'runtime')
| -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 |