diff options
| -rw-r--r-- | runtime/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/runtime/Makefile b/runtime/Makefile index 6e259678b2..6b3b95b7d7 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -7,11 +7,11 @@ # ##===----------------------------------------------------------------------===## -ifndef NO_RUNTIME_LIBS - LEVEL = .. include $(LEVEL)/Makefile.config +ifndef NO_RUNTIME_LIBS + PARALLEL_DIRS := libprofile # Disable libprofile: a faulty libtool is generated by autoconf which breaks the @@ -22,6 +22,6 @@ endif include $(LEVEL)/Makefile.common -install:: - endif + +install:: |