|
Bugzilla – Full Text Bug Listing |
| Summary: | Building documentation fails if make runs in parallel | ||
|---|---|---|---|
| Product: | ns-3 | Reporter: | Timo Lindhorst <tlnd> |
| Component: | build system | Assignee: | Gustavo J. A. M. Carneiro <gjcarneiro> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | ns-bugs, pdbarnes, tomh |
| Priority: | P5 | ||
| Version: | ns-3-dev | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Attachments: | Don't run make in parallel when building documentation | ||
|
Description
Timo Lindhorst
2013-02-14 09:55:19 UTC
Created attachment 1512 [details]
Don't run make in parallel when building documentation
This patch forces make not to run in parallel when building documentation. This fixes the present bug. The optimal solution would probably allow parallel runs without concurrency problems, however, as documentation is not build that often, this might be a sufficient solution.
Need same patch in all documentation Makefiles: doc/manual/Makefile doc/models/Makefile doc/tutorial/Makefile doc/tutorial-pt-br/Makefile (In reply to comment #1) > Created attachment 1512 [details] > Don't run make in parallel when building documentation changeset 0f783cfd9041 |