diff options
Diffstat (limited to 'third_party/build/Makefile')
| -rw-r--r-- | third_party/build/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/third_party/build/Makefile b/third_party/build/Makefile index e0ac61bb..5d9bc513 100644 --- a/third_party/build/Makefile +++ b/third_party/build/Makefile @@ -12,5 +12,14 @@ all clean dep depend distclean realclean: fi; \ done +lib: + for dir in $(DIRS); do \ + if $(MAKE) $(MAKE_FLAGS) -C $$dir all; then \ + true; \ + else \ + exit 1; \ + fi; \ + done + doc: |